IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.
Hanna LachnittMathias FleuryLeni AnivaAndrew ReynoldsHaniel BarbosaAndres NötzliClark W. BarrettCesare TinelliPublished in: TACAS (1) (2024)
Keyphrases
- theorem prover
- natural deduction
- statistical machine translation
- inference rules
- theorem proving
- higher order logic
- xml queries
- first order logic
- cut elimination
- relational queries
- sequent calculus
- original query
- modulo theories
- word alignment
- modal logic
- relevant documents
- query optimization
- query expansion
- logic programs
- xml documents
- machine learning
- neural network