tongyx361 / symevalLinks
Evaluation utilities based on SymPy.
☆20Updated 8 months ago
Alternatives and similar repositories for symeval
Users that are interested in symeval are comparing it to the libraries listed below
Sorting:
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆112Updated 8 months ago
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆167Updated 2 months ago
- LongProc: Benchmarking Long-Context Language Models on Long Procedural Generation☆26Updated last month
- Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"☆218Updated 5 months ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆65Updated 7 months ago
- ☆48Updated 2 months ago
- The official repository of the Omni-MATH benchmark.☆87Updated 7 months ago
- The rule-based evaluation subset and code implementation of Omni-MATH☆22Updated 7 months ago
- ☆65Updated 4 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆241Updated last year
- GenRM-CoT: Data release for verification rationales☆63Updated 9 months ago
- ☆36Updated 3 months ago
- [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".☆80Updated 7 months ago
- ☆68Updated last year
- ☆13Updated last year
- [NeurIPS 2024] Fast Best-of-N Decoding via Speculative Rejection☆49Updated 9 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆108Updated 3 months ago
- ☆59Updated 11 months ago
- Model merging is a highly efficient approach for long-to-short reasoning.☆77Updated 2 months ago
- Collections of RLxLM experiments using minimal codes☆13Updated 5 months ago
- ☆51Updated 5 months ago
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆62Updated last year
- Async pipelined version of Verl☆112Updated 4 months ago
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆30Updated last year
- [ACL' 25] The official code repository for PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models.☆78Updated 5 months ago
- ACL 2024 | LooGLE: Long Context Evaluation for Long-Context Language Models☆184Updated 10 months ago
- ☆43Updated 4 months ago
- Collection of papers for scalable automated alignment.☆93Updated 9 months ago
- a survey of long-context LLMs from four perspectives, architecture, infrastructure, training, and evaluation☆55Updated 4 months ago
- End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆162Updated last week