Datasets › GamePad Environment

GamePad Environment

Introduced by Daniel Huang et al. in GamePad: A Learning Environment for Theorem Proving archive 2025-07-28

GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant.

Benchmarks archive 2025-07-28

No leaderboard in the archive resolves to this dataset.

No paper in the archive has a leaderboard row on this dataset; the archive counts 1 paper for it but never published that list.

1 loader as listed in the archive; links are outbound and not re-checked here.

No licence recorded in the archive. Absence here is not a statement about the dataset's terms.

No modality tagged.

No language tagged.

1 variant name, as the archive lists them.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections