tongyx361 / symevalLinks
Evaluation utilities based on SymPy.
☆20Updated 6 months ago
Alternatives and similar repositories for symeval
Users that are interested in symeval are comparing it to the libraries listed below
Sorting:
- LongProc: Benchmarking Long-Context Language Models on Long Procedural Generation☆26Updated last week
- ☆65Updated 2 months ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆63Updated 6 months ago
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆161Updated last month
- PoC for "SpecReason: Fast and Accurate Inference-Time Compute via Speculative Reasoning" [arXiv '25]☆39Updated last month
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆108Updated 6 months ago
- [ICLR 25 Oral] RM-Bench: Benchmarking Reward Models of Language Models with Subtlety and Style☆48Updated last month
- [ACL' 25] The official code repository for PRMBench: A Fine-grained and Challenging Benchmark for Process-Level Reward Models.☆73Updated 4 months ago
- Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"☆202Updated 3 months ago
- Model merging is a highly efficient approach for long-to-short reasoning.☆65Updated 3 weeks ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆99Updated last month
- [NeurIPS 2024] Fast Best-of-N Decoding via Speculative Rejection☆45Updated 7 months ago
- The repository of the project "Fine-tuning Large Language Models with Sequential Instructions", code base comes from open-instruct and LA…☆29Updated 7 months ago
- ☆67Updated last year
- Revisiting Mid-training in the Era of RL Scaling☆62Updated 2 months ago
- [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".☆78Updated 5 months ago
- The rule-based evaluation subset and code implementation of Omni-MATH☆22Updated 6 months ago
- A version of verl to support tool use☆261Updated this week
- The official repository of the Omni-MATH benchmark.☆84Updated 6 months ago
- Laser: Learn to Reason Efficiently with Adaptive Length-based Reward Shaping☆48Updated last month
- Explore what LLMs are really leanring over SFT☆28Updated last year
- ☆13Updated 11 months ago
- A Framework for LLM-based Multi-Agent Reinforced Training and Inference☆140Updated 2 weeks ago
- a survey of long-context LLMs from four perspectives, architecture, infrastructure, training, and evaluation☆50Updated 2 months ago
- Chain of Thoughts (CoT) is so hot! so long! We need short reasoning process!☆54Updated 2 months ago
- The OlymMATH dataset☆16Updated 3 weeks ago
- Repo of paper "Free Process Rewards without Process Labels"☆153Updated 3 months ago
- ☆16Updated 7 months ago
- Missing Premise exacerbates Overthinking: Are Reasoning Models losing Critical Thinking Skill?☆29Updated 3 weeks ago
- [ICLR'25] Data and code for our paper "Why Does the Effective Context Length of LLMs Fall Short?"☆76Updated 7 months ago