Local Proofs Approaching the Witness Length.

Noga Ron-Zewi Ron Rothblum

Published in: J. ACM (2024)

Keyphrases

theorem proving
total length
fixed length
database
machine learning
information retrieval
maximum number
natural deduction
formal proofs
data sets
data structure
theorem prover
formal proof
mathematical proofs