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

• seewoo5 / awesome-ai-for-math

  View on GitHub
  List of awesome works that use AI for mathematical discoveries.
  ☆30Updated this week
• shehper / AC-Solver

  View on GitHub
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆31Aug 11, 2025Updated 6 months ago
• frenzymath / FATE

  View on GitHub
  The FATE (Formal Algebra Theorem Evaluation) benchmarks.
  ☆41Sep 22, 2025Updated 4 months ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• ByteDance-Seed / Seed-Prover

  View on GitHub
  ☆411Dec 22, 2025Updated last month
• AMD-AGI / Instella-T2I

  View on GitHub
  ☆24Jul 16, 2025Updated 7 months ago
• jsm28 / AperiodicMonotilesLean

  View on GitHub
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆15Feb 1, 2026Updated 2 weeks ago
• logical-intelligence / proofs

  View on GitHub
  ☆20Dec 3, 2025Updated 2 months ago
• roozbeh-yz / IMO-Steps

  View on GitHub
  ☆25Jul 16, 2025Updated 7 months ago
• deepseek-ai / DeepSeek-Prover-V2

  View on GitHub
  ☆1,236Jul 18, 2025Updated 6 months ago
• albertqjiang / MMA

  View on GitHub
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆38May 20, 2024Updated last year
• arcprize / arc-agi-benchmarking

  View on GitHub
  Testing baseline LLMs performance across various models
  ☆336Updated this week
• google-deepmind / formal-conjectures

  View on GitHub
  A collection of formalized statements of conjectures in Lean.
  ☆816Updated this week
• teorth / erdosproblems

  View on GitHub
  A community database for the problems on the erdosproblems.com site
  ☆475Updated this week
• SorryDB / SorryDB

  View on GitHub
  SorryDB indexes sorries in public lean repositories
  ☆42Jan 29, 2026Updated 2 weeks ago
• PrimeIntellect-ai / prime

  View on GitHub
  Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…
  ☆151Feb 9, 2026Updated last week
• fpvandoorn / carleson

  View on GitHub
  A formalized proof of Carleson's theorem in Lean
  ☆84Feb 2, 2026Updated 2 weeks ago
• trishullab / PutnamBench

  View on GitHub
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆212Jan 11, 2026Updated last month
• MixedMatched / formalizing-game-theory

  View on GitHub
  Example formalization of Game Theoretic concepts in Lean
  ☆24Feb 14, 2025Updated last year
• teorth / estimates

  View on GitHub
  Code to automatically prove or verify estimates in analysis
  ☆326Jul 1, 2025Updated 7 months ago
• math-inc / strongpnt

  View on GitHub
  ☆292Sep 11, 2025Updated 5 months ago
• teorth / optimizationproblems

  View on GitHub
  A collection of optimization problems in mathematics
  ☆212Updated this week
• google-deepmind / alphaevolve_repository_of_problems

  View on GitHub
  ☆197Jan 22, 2026Updated 3 weeks ago
• Purewhite2019 / formal_problem_solving_main

  View on GitHub
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆29May 8, 2025Updated 9 months ago
• lupantech / ineqmath

  View on GitHub
  Solving Inequality Proofs with Large Language Models.
  ☆56Dec 15, 2025Updated 2 months ago
• MoonshotAI / Kimina-Prover-Preview

  View on GitHub
  Technical report of Kimina-Prover Preview.
  ☆359Jul 10, 2025Updated 7 months ago
• teorth / expdb

  View on GitHub
  Exponent pair database
  ☆70Feb 2, 2026Updated 2 weeks ago
• da03 / WildVisualizer

  View on GitHub
  ☆25Nov 19, 2025Updated 2 months ago
• openai / openai-icpc-2025

  View on GitHub
  OpenAI 2025 ICPC Submissions
  ☆58Sep 17, 2025Updated 4 months ago
• lyang36 / IMO25

  View on GitHub
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆908Oct 1, 2025Updated 4 months ago
• girving / interval

  View on GitHub
  Conservative floating point interval arithmetic in Lean
  ☆24Jan 20, 2026Updated 3 weeks ago
• GasStationManager / LeanTool

  View on GitHub
  A "code intepreter" for Lean
  ☆78Jan 16, 2026Updated last month
• google-deepmind / gemini_icpc2025

  View on GitHub
  Gemini 2025 ICPC World Finals Code Submissions
  ☆169Sep 17, 2025Updated 4 months ago
• google-deepmind / alphaevolve_results

  View on GitHub
  ☆261Jan 5, 2026Updated last month
• openai / miniF2F

  View on GitHub
  Formal to Formal Mathematics Benchmark
  ☆415Aug 16, 2023Updated 2 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 years ago
• open-compass / ProSA

  View on GitHub
  [EMNLP 2024 Findings] ProSA: Assessing and Understanding the Prompt Sensitivity of LLMs
  ☆29May 22, 2025Updated 8 months ago
• rahul3613 / ProofNet-lean4

  View on GitHub
  ProofNet dataset ported into Lean 4
  ☆29Jun 9, 2025Updated 8 months ago
• yangky11 / miniF2F-lean4

  View on GitHub
  ☆68Nov 7, 2025Updated 3 months ago