sarahmart / HARDMath
A new dataset of difficult graduate-level applied mathematics problems; evaluations demonstrate that leading LLMs currently exhibit low accuracy in solving these problems.
☆17Updated 3 months ago
Alternatives and similar repositories for HARDMath
Users that are interested in HARDMath are comparing it to the libraries listed below
Sorting:
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆68Updated last year
- ☆25Updated 8 months ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆120Updated 8 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆79Updated last month
- GenRM-CoT: Data release for verification rationales☆59Updated 6 months ago
- Revisiting Mid-training in the Era of RL Scaling☆37Updated 3 weeks ago
- Collections of RLxLM experiments using minimal codes☆12Updated 2 months ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆61Updated 5 months ago
- ☆83Updated 3 months ago
- ☆67Updated last year
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆105Updated 5 months ago
- Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"☆105Updated last year
- Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering☆57Updated 5 months ago
- Test-time-training on nearest neighbors for large language models☆41Updated last year
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated 11 months ago
- ☆151Updated 4 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆95Updated last week
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆30Updated 11 months ago
- ☆14Updated 6 months ago
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization☆30Updated 2 months ago
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆61Updated 10 months ago
- Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)☆53Updated 9 months ago
- Can Language Models Solve Olympiad Programming?☆116Updated 4 months ago
- ☆29Updated 4 months ago
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆49Updated 5 months ago
- The official repository of the Omni-MATH benchmark.☆82Updated 4 months ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆62Updated last year
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆31Updated last year
- [NeurIPS'24 Spotlight] Observational Scaling Laws☆54Updated 7 months ago
- ☆47Updated last week