A community database for the problems on the erdosproblems.com site
☆751Jun 17, 2026Updated this week
Alternatives and similar repositories for erdosproblems
Users that are interested in erdosproblems are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some Lean proofs☆29Updated this week
- A collection of optimization problems in mathematics☆316Updated this week
- A collection of formalized statements of conjectures in Lean.☆1,012Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆216Updated this week
- A template for blueprint-driven formalization projects in Lean.☆108Apr 24, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Catalog Of Math Problems Formalized In Lean☆246Updated this week
- Research code base for Automatic Textbook Formalization☆155Mar 31, 2026Updated 2 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆911Updated this week
- A project to map out the relations between different equational theories of Magmas.☆527Jun 14, 2026Updated last week
- Code to automatically prove or verify estimates in analysis☆338Jun 14, 2026Updated last week
- Lean Theorem Prover MCP☆408Jun 9, 2026Updated last week
- A formalized proof of Carleson's theorem in Lean☆95Updated this week
- ☆320Sep 11, 2025Updated 9 months ago
- Lean formalizations of Putnam-like problems☆20Apr 22, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆82Updated this week
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆87May 13, 2026Updated last month
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Jul 4, 2021Updated 4 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆97Updated this week
- ☆17Dec 3, 2023Updated 2 years ago
- Integrates Imbue's Cost Aware pareto-Region Bayesian Search (CARBS) with Weights and Biases (WanDB)☆12Mar 17, 2025Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆806Jan 18, 2026Updated 5 months ago
- ☆487Jul 18, 2025Updated 11 months ago
- Resa: Transparent Reasoning Models via SAEs☆49Sep 23, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Methods for profile likelihood analysis.☆20Nov 4, 2024Updated last year
- ☆97Nov 12, 2023Updated 2 years ago
- ☆22Dec 3, 2025Updated 6 months ago
- ☆12Dec 25, 2023Updated 2 years ago
- Blueprint for the PNT+ Project☆315Updated this week
- Experiments Notebook of "Understanding the Skill Gap in Recurrent Language Models: The Role of the Gather-and-Aggregate Mechanism"☆15Apr 30, 2025Updated last year
- A Lean companion to Analysis I☆1,788Updated this week
- ☆27Aug 16, 2025Updated 10 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆289May 22, 2026Updated 3 weeks ago
- Try a tactic at each step in a Lean proof.☆36Jun 8, 2026Updated last week
- A human-friendly notation for Unicode symbols.☆49Updated this week
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆41Jun 14, 2026Updated last week
- Grokking on modular arithmetic in less than 150 epochs in MLX☆15Oct 24, 2024Updated last year
- A minimum time simulation for constructing dyson spheres☆52Apr 22, 2026Updated last month
- List of awesome works that use AI for mathematical discoveries.☆66Updated this week