Batch Verification and Proofs of Proximity with Polylog Overhead.
Guy N. RothblumRon RothblumPublished in: Electron. Colloquium Comput. Complex. (2020)
Keyphrases
- formal proof
- relative error
- model checking
- theorem prover
- equational theories
- face verification
- formal proofs
- batch mode
- theorem proving
- formal analysis
- automated theorem provers
- real time
- verification method
- natural deduction
- fingerprint verification
- formal verification
- original data
- first order logic
- distance measure
- expert systems
- feature space
- feature selection
- genetic algorithm
- neural network