Login / Signup
Proving as Fast as Computing: Succinct Arguments with Constant Prover Overhead.
Noga Ron-Zewi
Ron Rothblum
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
theorem prover
data sets
machine learning
decision making
inference rules
theorem proving