Alternatives and similar repositories for gemini_icpc2025

Users that are interested in gemini_icpc2025 are comparing it to the libraries listed below

• google-deepmind / alphaevolve_repository_of_problems
  ☆197Updated 3 weeks ago
• ByteDance-Seed / Seed-Prover
  ☆411Updated last month
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆216Updated last week
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆359Updated 7 months ago
• google-deepmind / alphaevolve_results
  ☆259Updated last month
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆70Updated last month
• aw31 / openai-imo-2025-proofs
  ☆483Updated 6 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆145Updated 5 months ago
• google-deepmind / superhuman
  ☆148Updated last week
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆326Updated 7 months ago
• openai / circuit_sparsity
  Open-source release accompanying Gao et al. 2025
  ☆501Updated 2 months ago
• PhialsBasement / AlphaEvolve-MatrixMul-Verification
  Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.
  ☆133Updated 7 months ago
• Goedel-LM / Goedel-Prover
  ☆224Updated 10 months ago
• teorth / optimizationproblems
  A collection of optimization problems in mathematics
  ☆194Updated this week
• google-deepmind / formal-imo
  Lean formalizations of IMO problem statements
  ☆30Updated 3 months ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆470Updated this week
• facebookresearch / PhysicsLM4
  Physics of Language Models: Part 4.2, Canon Layers at Scale where Synthetic Pretraining Resonates in Reality
  ☆317Updated last month
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 4 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆203Updated last month
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆117Updated 10 months ago
• arcprize / hierarchical-reasoning-model-analysis
  ☆168Updated 5 months ago
• project-numina / aimo-progress-prize
  ☆481Updated last year
• UbiquantAI / URM
  Universal Reasoning Model
  ☆122Updated 3 weeks ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
  ☆62Updated last week
• arcprize / ARC-AGI-2
  ☆625Updated 8 months ago
• deepseek-ai / DeepSeek-Math-V2
  ☆1,543Updated 2 months ago
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆554Updated last year
• Jellyfish042 / Sudoku-RWKV
  ☆147Updated last year
• math-inc / strongpnt
  ☆292Updated 5 months ago
• MoonshotAI / CombiBench
  ☆43Updated last month