GamePad: A Learning Environment for Theorem Proving.
Daniel HuangPrafulla DhariwalDawn SongIlya SutskeverPublished in: CoRR (2018)
Keyphrases
- theorem proving
- learning environment
- first order logic
- automated deduction
- automated reasoning
- decision procedures
- theorem prover
- parallel search
- inference rules
- term rewriting
- proof procedure
- automatic programming
- proof planning
- e learning
- learning activities
- distributed search
- automated theorem proving
- logical inference
- combinatorial search
- consequence finding
- temporal logic
- predicate calculus
- proof search
- multimedia
- data mining
- graphical models
- description logics
- expert systems
- computer algebra systems
- geometry theorem proving