A Language-Agent Approach to Formal Theorem-Proving.
Amitayush ThakurYeming WenSwarat ChaudhuriPublished in: CoRR (2023)
Keyphrases
- theorem proving
- predicate calculus
- decision procedures
- first order logic
- model theoretic
- agent programming
- theorem prover
- formal language
- multi agent systems
- automated deduction
- operational semantics
- parallel search
- automatic programming
- multiagent systems
- multi agent
- inference rules
- intelligent agents
- logical inference
- automated reasoning
- consequence finding
- proof planning
- automated theorem proving
- programming language
- geometry theorem proving
- term rewriting
- autonomous agents
- proof procedure
- distributed search
- combinatorial search
- data mining
- situation calculus
- equational theories
- natural deduction
- natural language
- proof search
- formal model
- agent model