{"url":"/dataset/gamepad-environment","name":"GamePad Environment","full_name":null,"description_markdown":"GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant.\r\n\r\nSource: [GamePad: A Learning Environment for Theorem Proving](/paper/gamepad-a-learning-environment-for-theorem)","description_withheld":null,"homepage":"https://github.com/ml4tp/gamepad","introduced_date":null,"introduced_date_note":null,"introduced_by":{"paper":"/paper/gamepad-a-learning-environment-for-theorem","title":"GamePad: A Learning Environment for Theorem Proving","first_author":"Daniel Huang","url":null},"license":null,"modalities":[],"tasks":[{"name":"Automated Theorem Proving","url":"/task/automated-theorem-proving","datasets_with_task":"/datasets/task/automated-theorem-proving"}],"languages":[],"variants":["GamePad Environment"],"data_loaders":[{"repo":"https://github.com/ml4tp/gamepad","url":"https://github.com/ml4tp/gamepad","frameworks":[]}],"num_papers_in_archive":1,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}