Oblivious Issuance of Proofs.

Michele Orrù Stefano Tessaro Greg Zaverucha Chenzhi Zhu

Published in: CRYPTO (9) (2024)

Keyphrases

formal proof
pattern recognition
formal proofs
theorem proving
equational theories
theorem prover
decision procedures
natural deduction
neural network
information retrieval
computer vision
website
objective function
knowledge representation