Alternatives and similar repositories for optimizationproblems

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

• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
  ☆62Updated this week
• google-deepmind / alphaevolve_repository_of_problems
  ☆191Updated 2 weeks ago
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆63Updated 3 weeks ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆458Updated last week
• math-inc / strongpnt
  ☆292Updated 4 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆199Updated 3 months ago
• teorth / expdb
  Exponent pair database
  ☆69Updated this week
• morph-labs / lean-abc-true-almost-always
  ☆83Updated 7 months ago
• qqq-wisc / qwla
  Quantum computing without the linear algebra
  ☆78Updated 2 months ago
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆250Updated this week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆31Updated 5 months ago
• slightknack / difflogic
  Train neural networks that distill into logic circuits, using JAX
  ☆64Updated 7 months ago
• harmonic-ai / IMO2025
  ☆58Updated 6 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆75Updated 6 months ago
• google-deepmind / gemini_icpc2025
  Gemini 2025 ICPC World Finals Code Submissions
  ☆169Updated 4 months ago
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆61Updated last year
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆116Updated last year
• facebookresearch / llm-speedrunner
  The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…
  ☆128Updated 3 months ago
• oripress / AlgoTune
  AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…
  ☆86Updated last week
• wellecks / transformers4math-simons
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆43Updated 2 weeks ago
• PhialsBasement / AlphaEvolve-MatrixMul-Verification
  Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.
  ☆131Updated 7 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆116Updated this week
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆812Updated this week
• harmonic-ai / datasets
  Harmonic Datasets
  ☆52Updated last year
• kitft / funsearch
  Genetic programming using LLMs
  ☆56Updated 11 months ago
• ByteDance-Seed / Seed-Prover
  ☆408Updated 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…
  ☆52Updated 7 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆143Updated 5 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆81Updated last year