Reinforcement Learning of Theorem Proving.
Cezary KaliszykJosef UrbanHenryk MichalewskiMirek OlsákPublished in: CoRR (2018)
Keyphrases
- theorem proving
- reinforcement learning
- automated deduction
- first order logic
- inference rules
- decision procedures
- parallel search
- theorem prover
- automated reasoning
- automatic programming
- logical inference
- term rewriting
- proof procedure
- consequence finding
- proof planning
- state space
- combinatorial search
- automated theorem proving
- machine learning
- learning algorithm
- geometry theorem proving
- distributed search
- predicate calculus
- multi agent