Login / Signup
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.
Alex Ozdemir
Riad S. Wahby
Fraser Brown
Clark W. Barrett
Published in:
CAV (3) (2023)
Keyphrases
</>
data mining techniques
data mining
knowledge discovery
theorem proving
general purpose
higher level
neural network
face recognition
relational databases
domain knowledge
knowledge representation
case based reasoning
knowledge transfer
finite number
formal proof