Evaluation of LLMs on latest math competitions
☆295Nov 2, 2026Updated this week
Alternatives and similar repositories for matharena
Users that are interested in matharena are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains the code for the paper The Open Proof Corpus: Building a Large-Scale, Human-Validated Dataset of LLM-Generated P…☆18Aug 4, 2025Updated last year
- ☆84Mar 11, 2025Updated last year
- ☆1,203Jan 10, 2026Updated 9 months ago
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆50Updated this week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆279Apr 26, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆302Sep 25, 2025Updated last year
- ARC-AGI-3 Milestone 2 solution built on Tufa Labs’ Duck harness, with improved agent tools, compute scheduling, and SGLang serving.☆17Sep 30, 2026Updated last month
- Frontier ARC-AGI-3 agent: 99.86% RHAE, all 183 levels solved for $654☆51Aug 11, 2026Updated 2 months ago
- Measuring Thinking Efficiency in Reasoning Models - Research Repository☆40Dec 2, 2025Updated 11 months ago
- UQ: Assessing Language Models on Unsolved Questions☆30Aug 26, 2025Updated last year
- ☆78Jun 28, 2026Updated 4 months ago
- Coding problems used in aider's polyglot benchmark☆228Dec 22, 2024Updated last year
- List of awesome works that use AI for mathematical discoveries.☆100Updated this week
- Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"☆973Jul 16, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆74Apr 7, 2026Updated 7 months ago
- ☆27Jul 25, 2023Updated 3 years ago
- Training tiny models to prove hard theorems☆83Mar 5, 2026Updated 8 months ago
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆77Feb 25, 2025Updated last year
- Catalog Of Math Problems Formalized In Lean☆255Oct 23, 2026Updated 2 weeks ago
- Kaggle AIMO2 solution with token-efficient reasoning LLM recipes☆52Aug 7, 2025Updated last year
- ☆809Oct 20, 2026Updated 2 weeks ago
- ☆16Sep 24, 2026Updated last month
- ☆464Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A project to improve skills of large language models☆1,057Updated this week
- Technical report of Kimina-Prover Preview.☆381Jul 10, 2025Updated last year
- ☆21Jul 25, 2025Updated last year
- OpenPipe Reinforcement Learning Experiments☆34Mar 14, 2025Updated last year
- A Sober Look at Language Model Reasoning☆92Nov 18, 2025Updated 11 months ago
- ☆31Jul 16, 2025Updated last year
- ☆178Dec 13, 2025Updated 10 months ago
- ARC-AGI-3 Solver using Rendered Deterministic Moore Machines☆63Jul 29, 2026Updated 3 months ago
- ☆37Sep 8, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MUFFIN: Curating Multi-Faceted Instructions for Improving Instruction-Following☆16Oct 31, 2024Updated 2 years ago
- Measuring how well CLI agents like Claude Code or Codex CLI can post-train base LLMs on a single H100 GPU in 10 hours☆616Updated this week
- Democratizing Reinforcement Learning for LLMs☆5,910Oct 16, 2026Updated 3 weeks ago
- ☆497Jul 22, 2024Updated 2 years ago
- Solving Inequality Proofs with Large Language Models.☆61Dec 15, 2025Updated 10 months ago
- Lean 4 library for pretty printing expressions as LaTeX☆40Mar 5, 2025Updated last year
- [NeurIPS 2025] Reinforcement Learning for Reasoning in Large Language Models with One Training Example☆453Mar 11, 2026Updated 7 months ago