☆485Jul 18, 2025Updated 7 months ago
Alternatives and similar repositories for openai-imo-2025-proofs
Users that are interested in openai-imo-2025-proofs are comparing it to the libraries listed below
Sorting:
- Open Source Replication of Anthropic's Alignment Faking Paper☆54Apr 4, 2025Updated 11 months ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆32Aug 11, 2025Updated 6 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated 2 weeks ago
- List of awesome works that use AI for mathematical discoveries.☆31Feb 21, 2026Updated 2 weeks ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- ☆412Feb 13, 2026Updated 3 weeks ago
- ☆20Dec 3, 2025Updated 3 months ago
- ☆24Jul 16, 2025Updated 7 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- ☆26Jul 16, 2025Updated 7 months ago
- ☆1,237Jul 18, 2025Updated 7 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- Testing baseline LLMs performance across various models☆338Feb 10, 2026Updated 3 weeks ago
- A collection of formalized statements of conjectures in Lean.☆845Updated this week
- SorryDB indexes sorries in public lean repositories☆42Mar 1, 2026Updated last week
- A community database for the problems on the erdosproblems.com site☆495Updated this week
- A formalized proof of Carleson's theorem in Lean☆85Updated this week
- Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…☆167Updated this week
- Example formalization of Game Theoretic concepts in Lean☆26Feb 14, 2025Updated last year
- Code to automatically prove or verify estimates in analysis☆329Jul 1, 2025Updated 8 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆217Feb 22, 2026Updated 2 weeks ago
- ☆302Sep 11, 2025Updated 5 months ago
- RealAnalysisGame☆57Feb 13, 2026Updated 3 weeks ago
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 10 months ago
- Solving Inequality Proofs with Large Language Models.☆58Dec 15, 2025Updated 2 months ago
- ☆202Jan 22, 2026Updated last month
- Technical report of Kimina-Prover Preview.☆363Jul 10, 2025Updated 7 months ago
- Exponent pair database☆70Feb 2, 2026Updated last month
- ☆25Nov 19, 2025Updated 3 months ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated last month
- A "code intepreter" for Lean☆82Jan 16, 2026Updated last month
- A collection of optimization problems in mathematics☆234Updated this week
- Gemini 2025 ICPC World Finals Code Submissions☆169Sep 17, 2025Updated 5 months ago
- ☆265Jan 5, 2026Updated 2 months ago
- Formal to Formal Mathematics Benchmark☆417Aug 16, 2023Updated 2 years ago
- ☆165Dec 13, 2025Updated 2 months ago
- [EMNLP 2024 Findings] ProSA: Assessing and Understanding the Prompt Sensitivity of LLMs☆29May 22, 2025Updated 9 months ago
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 9 months ago
- ☆26Nov 1, 2021Updated 4 years ago