Login / Signup
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