Jiahao004/DeepTheorem download history
Jiahao004/DeepTheorem is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 319 times (34 in the last 7 days), and 9,704 times in total. It ranks #46,814 among datasets by monthly downloads.
DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning 🚀 Welcome to the GitHub repository for DeepTheorem 🎉, a comprehensive framework for enhancing large language model (LLM) mathematical reasoning through informal, natural language-b