Goedel-LM/MathOlympiadBench download history
Goedel-LM/MathOlympiadBench is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 888 times (338 in the last 7 days), and 3,746 times in total. It ranks #21,137 among datasets by monthly downloads.
This repository contains the MathOlympiadBench dataset, which is introduced in the paper Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. Project Page: https://blog.goedel-prover.com Code Repository: https://github.com/Goedel-LM/Goedel-Prover-V2 Ma
Models trained on MathOlympiadBench
1 models list it as training data.
- Azmainadeeb/MathGPT 19 downloads in 30 days