A collection of optimization problems in mathematics
☆223Feb 27, 2026Updated this week
Alternatives and similar repositories for optimizationproblems
Users that are interested in optimizationproblems are comparing it to the libraries listed below
Sorting:
- List of awesome works that use AI for mathematical discoveries.☆31Feb 21, 2026Updated last week
- Othello program created by Gunnar Andersson - This is a copy of the original code -☆16Apr 29, 2014Updated 11 years ago
- Exponent pair database☆69Feb 2, 2026Updated last month
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last week
- 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
- Lean formalizations of IMO problem statements☆31Oct 23, 2025Updated 4 months ago
- Measuring generalization properties of graph neural networks☆15Aug 11, 2025Updated 6 months ago
- NeuroBLAST v3 architecture code☆36Jan 6, 2026Updated last month
- A formal proof of the Riemann Hypothesis for curves☆41Feb 6, 2026Updated 3 weeks ago
- A community database for the problems on the erdosproblems.com site☆489Updated this week
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Jul 6, 2023Updated 2 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- ☆70Feb 8, 2026Updated 3 weeks ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated last week
- A benchmark for evaluating LLMs on open-ended CS problems. Exploring the Next Frontier of Computer Science.☆146Feb 23, 2026Updated last week
- ☆199Jan 22, 2026Updated last month
- ☆18Jan 22, 2026Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Discord v14 sunucu patlatma botu☆10Jul 9, 2024Updated last year
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated last month
- ☆42Dec 16, 2025Updated 2 months ago
- Worldline Yomani XR Flash Unpacker https://stefan-gloor.ch/yomani-hack☆46Nov 13, 2024Updated last year
- Official implementation of Log-linear Sparse Attention (LLSA).☆58Feb 2, 2026Updated last month
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Sep 15, 2025Updated 5 months ago
- ☆27Feb 3, 2026Updated 3 weeks ago
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆30Apr 3, 2024Updated last year
- ☆293Sep 11, 2025Updated 5 months ago
- Extend the Conditioning of Stable Diffusion to take Audio Embeddings Instead of Text Embeddings using Wav2Vec2-BERT model☆13Sep 25, 2024Updated last year
- CoreXY conversion for the Folgertech FT-5 printer☆15Feb 20, 2024Updated 2 years ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆66Jan 31, 2026Updated last month
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆35Sep 30, 2020Updated 5 years ago
- A formalized proof of Carleson's theorem in Lean☆85Feb 18, 2026Updated last week
- Multi-step AI agents powered by Gemini 2.0 and the LangGraph framework. These agents orchestrate complex workflows and enhance their reas…☆10Dec 19, 2024Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- The code used to evaluate embedding models on the Massive Legal Embedding Benchmark (MLEB).☆31Feb 24, 2026Updated last week
- Blueprint for the PNT+ Project☆270Updated this week
- Try a tactic at each step in a Lean proof.☆35Updated this week