GamePad: A Learning Environment for Theorem Proving
TM
Trevor McFedries
@trevvyboi
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...
- Uploaded
- Uploaded Jul 10, 2026
- Queried
- Queried 0 times
No preview text is available for this document yet.
Want to learn more?
Ask a question