GamePad: A Learning Environment for Theorem Proving
- Source
- doi.org
- Published
- Jun 2, 2018
In this paper, we introduce a system called GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant. Interactive theorem provers such as Coq enable users to construct machine-checkable pr...
doi.orgInfo
- Published
- Jun 2, 2018
- Uploaded
- Jul 10, 2026
- Uploaded by
Trevor McFedries
- Queried
- 0 times
Appears in
More
Use with your agent
Have your agent query this content directly
Download package
Unlocks the raw transcripts and files to use as you please
Discover playbooks
Create a repeatable workflow using this source