Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.
Xin QuanMarco ValentinoLouise A. DennisAndré FreitasPublished in: CoRR (2024)
Keyphrases
- theorem proving
- natural language
- first order logic
- computer algebra systems
- parallel search
- decision procedures
- automated reasoning
- automated deduction
- automatic programming
- theorem prover
- inference rules
- automated theorem proving
- term rewriting
- proof planning
- model checking
- proof procedure
- knowledge representation
- consequence finding
- predicate calculus
- natural language processing
- machine learning
- geometry theorem proving
- combinatorial search
- logical inference
- proof search
- distributed search
- natural language understanding
- description logics