eth-sri / matharenaLinks
Evaluation of LLMs on latest math competitions
☆160Updated 2 weeks ago
Alternatives and similar repositories for matharena
Users that are interested in matharena are comparing it to the libraries listed below
Sorting:
- A benchmark that challenges language models to code solutions for scientific problems☆132Updated last week
- A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning☆245Updated last week
- Reproducible, flexible LLM evaluations☆238Updated last month
- A simple unified framework for evaluating LLMs☆240Updated 4 months ago
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆177Updated 5 months ago
- Can Language Models Solve Olympiad Programming?☆119Updated 7 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆150Updated 6 months ago
- PyTorch building blocks for the OLMo ecosystem☆274Updated this week
- ☆68Updated last year
- ☆120Updated 6 months ago
- ☆38Updated 5 months ago
- Replicating O1 inference-time scaling laws☆89Updated 8 months ago
- Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'☆229Updated last month
- ☆84Updated 7 months ago
- ☆187Updated 4 months ago
- Functional Benchmarks and the Reasoning Gap☆88Updated 10 months ago
- CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings☆52Updated 6 months ago
- Official repository for "Scaling Retrieval-Based Langauge Models with a Trillion-Token Datastore".☆213Updated 3 weeks ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆191Updated last year
- [COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents☆148Updated last month
- SWE Arena☆33Updated last month
- Physics of Language Models, Part 4☆232Updated 3 weeks ago
- ☆91Updated 3 months ago
- ☆68Updated last week
- A scalable asynchronous reinforcement learning implementation with in-flight weight updates.☆137Updated last week
- BABILong is a benchmark for LLM evaluation using the needle-in-a-haystack approach.☆210Updated 3 months ago
- Open source interpretability artefacts for R1.☆158Updated 4 months ago
- Benchmarking LLMs with Challenging Tasks from Real Users☆237Updated 9 months ago
- ☆110Updated 3 months ago
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples☆104Updated last month