Sometimes You Can't Distribute Random-Oracle-Based Proofs.

Jack Doerner Yashvanth Kondi Leah Namisa Rosenbloom

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

equational theories
theorem proving
theorem prover
formal proofs
machine learning
formal proof
mathematical proofs
databases
digital libraries
special case
knowledge representation
natural deduction
cut elimination