Local Proofs Approaching the Witness Length.

Noga Ron-Zewi Ron D. Rothblum

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

Keyphrases

theorem prover
total length
fixed length
artificial intelligence
special case
mathematical proofs
neural network
formal proofs
minimal length
formal proof
natural deduction
decision procedures
theorem proving
knowledge representation
evolutionary algorithm
user interface
data structure
multimedia
genetic algorithm