tongyx361 / symeval
Evaluation utilities based on SymPy.
☆18Updated 5 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☆23Updated 3 weeks ago
- [AAAI 2025 oral] Evaluating Mathematical Reasoning Beyond Accuracy☆61Updated 5 months ago
- Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"☆179Updated 2 months ago
- The rule-based evaluation subset and code implementation of Omni-MATH☆21Updated 4 months ago
- Official repository for paper "Weak-to-Strong Extrapolation Expedites Alignment"☆74Updated 11 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆105Updated 5 months ago
- ☆151Updated 5 months ago
- The official repository of the Omni-MATH benchmark.☆82Updated 4 months ago
- ☆61Updated last month
- ☆59Updated 8 months ago
- a survey of long-context LLMs from four perspectives, architecture, infrastructure, training, and evaluation☆48Updated last month
- Collection of papers for scalable automated alignment.☆89Updated 6 months ago
- Collections of RLxLM experiments using minimal codes☆12Updated 3 months ago
- [NeurIPS 2024] Fast Best-of-N Decoding via Speculative Rejection☆44Updated 6 months ago
- Revisiting Mid-training in the Era of RL Scaling☆41Updated 3 weeks ago
- [EMNLP 2024] Source code for the paper "Learning Planning-based Reasoning with Trajectory Collection and Process Rewards Synthesizing".☆77Updated 4 months ago
- The repository of the project "Fine-tuning Large Language Models with Sequential Instructions", code base comes from open-instruct and LA…☆29Updated 5 months ago
- ☆46Updated 2 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆95Updated last week
- ☆34Updated this week
- [ICLR 25 Oral] RM-Bench: Benchmarking Reward Models of Language Models with Subtlety and Style☆40Updated last month
- ☆13Updated 10 months ago
- GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.☆61Updated 10 months ago
- Explore what LLMs are really leanring over SFT☆28Updated last year
- ☆15Updated 3 months ago
- A Comprehensive Survey on Long Context Language Modeling☆142Updated last month
- ☆33Updated this 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
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆96Updated last month
- A curated list of awesome resources dedicated to Scaling Laws for LLMs☆71Updated 2 years ago