Valuable Puzzles for Proofs-of-Work.

Colin Boyd Christopher Carr

Published in: DPM/CBT@ESORICS (2018)

Keyphrases

theorem proving
hidden markov models
constraint satisfaction
genetic algorithm
feature extraction
theorem prover
neural network
machine learning
decision making
information technology
control system
formal proof
formal proofs
equational theories
mathematical proofs
crossword puzzles