Login / Signup
Proof of Experience: empowering Proof of Work protocol with miner previous work.
Samuel Masseport
Benoît Darties
Rodolphe Giroudeau
Jorick Lartigau
Published in:
BRAINS (2020)
Keyphrases
</>
formal proof
theorem prover
theorem proving
neural network
decision trees
linear logic
automated theorem proving
real time
data mining
artificial intelligence
classification algorithm