GamePad: A Learning Environment for Theorem Proving.
Daniel HuangPrafulla DhariwalDawn SongIlya SutskeverPublished in: ICLR (Poster) (2019)
Keyphrases
- theorem proving
- learning environment
- first order logic
- learning activities
- automated reasoning
- automated deduction
- theorem prover
- decision procedures
- inference rules
- automatic programming
- term rewriting
- logical inference
- e learning
- parallel search
- automated theorem proving
- proof planning
- consequence finding
- distributed search
- proof procedure
- equational theories
- combinatorial search
- geometry theorem proving
- proof search
- natural deduction
- multimedia