Login / Signup
Automatic Verification of SMT Rewrites in Isabelle/HOL.
Hanna Lachnitt
Mathias Fleury
Leni Aniva
Andrew Reynolds
Haniel Barbosa
Andres Nötzli
Clark W. Barrett
Cesare Tinelli
Published in:
SMT (2023)
Keyphrases
</>
theorem prover
natural deduction
theorem proving
inference rules
statistical machine translation
higher order logic
relational queries
modulo theories
cut elimination
first order logic
sequent calculus
original query
xml queries
machine learning
higher order
natural language
case study