Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper).
Haniel BarbosaPublished in: SC-Square@ISSAC (2023)
Keyphrases
- invited paper
- lessons learned
- consistency checking
- mathematical proofs
- proof theoretic
- proof theory
- production system
- modulo theories
- proof procedure
- neural network
- default reasoning
- automated reasoning
- theorem proving
- lecture notes
- recent advances
- computational intelligence
- linear logic
- knowledge representation
- automated theorem proving
- information systems
- logical rules
- argumentation schemes
- artificial intelligence
- genetic algorithm
- real world