Jiahao004/HMMT_FIMO_Putnam download history
Jiahao004/HMMT_FIMO_Putnam is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 62 times (14 in the last 7 days), and 1,393 times in total. It ranks #159,286 among datasets by monthly downloads.
FIMO_HMMT_Putnam: The testing set of DeepTheorem for LLM Informal Theorem Proving🚀 Welcome to the Huggingface repository for DeepTheorem 🎉, a comprehensive framework for enhancing large language model (LLM) mathematical reasoning through informal, natural language-based theorem proving. T