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
  ☆178Updated last month
• ByteDance-Seed / Seed-Prover
  ☆395Updated 3 weeks ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆350Updated 6 months ago
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆36Updated this week
• aw31 / openai-imo-2025-proofs
  ☆482Updated 5 months ago
• google-deepmind / alphaevolve_results
  ☆254Updated last week
• Goedel-LM / Goedel-Prover
  ☆224Updated 9 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆212Updated 3 weeks ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆245Updated this week
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆319Updated 6 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆141Updated 4 months ago
• PhialsBasement / AlphaEvolve-MatrixMul-Verification
  Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.
  ☆130Updated 6 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• openai / circuit_sparsity
  Open-source release accompanying Gao et al. 2025
  ☆486Updated last month
• google-deepmind / formal-imo
  Lean formalizations of IMO problem statements
  ☆27Updated 2 months ago
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆752Updated this week
• MoonshotAI / CombiBench
  ☆40Updated 3 weeks ago
• math-inc / strongpnt
  ☆282Updated 4 months ago
• kitft / funsearch
  Genetic programming using LLMs
  ☆56Updated 10 months ago
• microsoft / ArchScale
  Simple & Scalable Pretraining for Neural Architecture Research
  ☆306Updated last month
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆48Updated 6 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 11 months ago
• iliao2345 / CompressARC
  ☆213Updated last week
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆193Updated this week
• arcprize / ARC-AGI-2
  ☆600Updated 7 months ago
• da-fr / arc-prize-2024
  Our solution for the arc challenge 2024
  ☆188Updated 6 months ago
• project-numina / aimo-progress-prize
  ☆478Updated last year
• google-deepmind / superhuman
  ☆79Updated 2 months ago
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆124Updated 11 months ago
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆116Updated 9 months ago