KbsdJames / MATH-MinosLinks
The implementation of paper "LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback"
☆37Updated last year
Alternatives and similar repositories for MATH-Minos
Users that are interested in MATH-Minos are comparing it to the libraries listed below
Sorting:
- The official repository of the Omni-MATH benchmark.☆88Updated 11 months ago
- [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".☆82Updated 10 months ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆76Updated last month
- This the implementation of LeCo☆31Updated 10 months ago
- ☆87Updated last year
- [ACL 2024 (Oral)] A Prospector of Long-Dependency Data for Large Language Models☆58Updated last year
- Official implementation of the paper "From Complex to Simple: Enhancing Multi-Constraint Complex Instruction Following Ability of Large L…☆51Updated last year
- Towards Systematic Measurement for Long Text Quality