Batch Verification and Proofs of Proximity with Polylog Overhead.
Guy N. RothblumRon D. RothblumPublished in: TCC (2) (2020)
Keyphrases
- formal proof
- relative error
- model checking
- equational theories
- concurrent systems
- theorem prover
- theorem proving
- face verification
- case study
- formal analysis
- asynchronous circuits
- batch processing
- mathematical proofs
- machine learning
- low overhead
- person identification
- decision procedures
- petri net
- knowledge representation
- data structure
- genetic algorithm