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