Optical Proof of Work.

Michael Dubrovsky Marshall Ball Bogdan Penkovsky

Published in: CoRR (2019)

Keyphrases

theorem proving
proof planning
mathematical proofs
case study
expert systems
artificial neural networks
theorem prover
optical imaging
website
proof search
logical rules