Generating and Exploiting Automated Reasoning Proof Certificates.
Haniel BarbosaClark W. BarrettByron CookBruno DutertreGereon KremerHanna LachnittAina NiemetzAndres NötzliAlex OzdemirMathias PreinerAndrew ReynoldsCesare TinelliYoni ZoharPublished in: Commun. ACM (2023)
Keyphrases
- automated reasoning
- theorem prover
- theorem proving
- decision procedures
- proof theory
- reasoning systems
- knowledge representation
- first order logic
- automated verification
- inference rules
- reasoning tasks
- knowledge representation and reasoning
- public key
- probabilistic reasoning
- access control
- prime implicants
- general purpose
- software engineering
- relational databases
- lower bound
- propositional satisfiability
- training data
- high level