hanningzhang / ER-PRMLinks
☆20Updated last year
Alternatives and similar repositories for ER-PRM
Users that are interested in ER-PRM are comparing it to the libraries listed below
Sorting:
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆181Updated 7 months ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆76Updated 3 months ago
- [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".☆83Updated 11 months ago
- ☆71Updated 8 months ago
- Model merging is a highly efficient approach for long-to-short reasoning.☆96Updated 2 months ago
- The official repository of the Omni-MATH benchmark.☆91Updated last year
- ☆70Updated last year
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆119Updated last year
- Implementation for the research paper "Enhancing LLM Reasoning via Critique Models with Test-Time and Training-Time Supervision".☆55Updated last year
- LeetCode Training and Evaluation Dataset☆45Updated 8 months ago
- Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…☆150Updated last year
- ☆53Updated 7 months ago
- ☆219Updated 9 months ago
- ☆47Updated 9 months ago
- [NeurIPS 2025] Implementation for the paper "The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning"☆146Updated 2 months ago
- ☆58Updated last year
- The rule-based evaluation subset and code implementation of Omni-MATH☆26Updated last year
- GenRM-CoT: Data release for verification rationales☆68Updated last year
- ☆52Updated 10 months ago
- [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.☆134Updated 9 months ago
- ☆17Updated last year
- ☆51Updated last year
- The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Fee…☆37Updated last year
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆64Updated last year
- [AAAI 2026] Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".☆94Updated 2 months ago
- Critique-out-Loud Reward Models☆70Updated last year
- ☆70Updated 6 months ago
- Code associated with Tuning Language Models by Proxy (Liu et al., 2024)☆127Updated last year
- Collection of papers for scalable automated alignment.☆94Updated last year
- Safety-J: Evaluating Safety with Critique☆16Updated last year