Better Incentives for Proof-of-Work.

Jakub Sliwinski Roger Wattenhofer

Published in: CoRR (2022)

Keyphrases

theorem proving
evolutionary algorithm
data sets
theorem prover
databases
neural network
feature selection
e learning
information technology
automated theorem proving
proof theory
proof search
proof planning