AxiomMath / Putnam2025Links
Our solution to Putnam 2025.
☆36Updated this week
Alternatives and similar repositories for Putnam2025
Users that are interested in Putnam2025 are comparing it to the libraries listed below
Sorting:
- ☆178Updated last month
- ☆395Updated 3 weeks ago
- Gemini 2025 ICPC World Finals Code Submissions☆170Updated 3 months ago
- ☆42Updated last year
- ☆141Updated 4 months ago
- Technical report of Kimina-Prover Preview.☆350Updated 6 months ago
- ☆224Updated 9 months ago
- ☆282Updated 4 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 11 months ago
- A community database for the problems on the erdosproblems.com site☆245Updated this week
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆28Updated 8 months ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- ☆54Updated 5 months ago
- ☆40Updated 3 weeks ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆31Updated 4 months ago
- Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.☆130Updated 6 months ago
- Exponent pair database☆67Updated last week
- ☆47Updated 5 months ago
- A collection of formalized statements of conjectures in Lean.☆752Updated this week
- Minimal open-source implementation of AlphaProof [WIP]☆59Updated this week
- ☆74Updated this week
- AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…☆81Updated this week
- ☆83Updated 6 months ago
- Lean formalizations of IMO problem statements☆27Updated 2 months ago
- This is the official repository for all the code of TheoremLlama☆47Updated 5 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆193Updated this week
- Evaluation of LLMs on latest math competitions☆212Updated 3 weeks ago
- Automatic solver for plane geometry problems.☆83Updated 4 months ago
- ☆71Updated 7 months ago
- ☆254Updated last week