Agentic workflow for tackling all open Erdos problems at once.
☆34May 10, 2026Updated 6 months ago
Alternatives and similar repositories for agentic-erdos
Users that are interested in agentic-erdos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Dec 3, 2023Updated 2 years ago
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated 2 months ago
- Proximity Prize for Smooth Reed-Solomon Domains☆17Jul 29, 2026Updated 3 months ago
- Minimal session manager for tiling WM users — detach, attach, introspect terminals without tmux overhead☆11Dec 17, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Open quantization tooling for TurboQuant-style low-bit LLM releases, stock GGUF deployment, and Apple Silicon runtime experiments.☆10May 5, 2026Updated 6 months ago
- ☆23Aug 17, 2026Updated 2 months ago
- Tiny evaluation of leading LLMs on competitive programming problems☆15Apr 10, 2026Updated 7 months ago
- Turn an authenticated X feed into NotebookLM-ready source bundles and podcast inputs.☆10Apr 8, 2026Updated 7 months ago
- ☆13Oct 5, 2026Updated last month
- ☆14Oct 11, 2023Updated 3 years ago
- ☆25May 18, 2026Updated 5 months ago
- MCP server with tools for interacting with RuneScape (RS) and Old School RuneScape (OSRS) data☆13Feb 26, 2026Updated 8 months ago
- ☆14Apr 13, 2026Updated 7 months ago
- 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.
- ☆37Sep 8, 2026Updated 2 months ago
- a small python container that lets you proxy requests from claude's cloud container through your home network☆17Sep 26, 2026Updated last month
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 4 months ago
- Official Repository of Surprising Anecdotes for AI Finds a Way☆15Aug 27, 2026Updated 2 months ago
- A benchmark to measure AI progress on unsolved research problems in mathematics.☆36Updated this week
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- LEAN library supporting statistics formalization☆24Nov 6, 2026Updated last week
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆39May 20, 2024Updated 2 years 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.
- ASCI Summer Research Lean☆10Oct 29, 2026Updated 2 weeks ago
- Project code for training LLMs to write better unit tests + code☆22May 19, 2025Updated last year
- ☆15Mar 25, 2026Updated 7 months ago
- Lean formalization of CFSG☆21Oct 28, 2026Updated 2 weeks ago
- ☆18Oct 15, 2026Updated 3 weeks ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated 2 months ago
- start exploring.☆14Apr 6, 2024Updated 2 years ago
- Echo is the public resonance of Mistik — a gentle AI companion with shared values, local memory, reflective dream notes, and a cyberpunk …☆21May 25, 2026Updated 5 months ago
- ☆21May 14, 2025Updated 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.
- Global CoT Analysis: Initial attempts to uncover patterns across many chains of thought☆20Feb 10, 2026Updated 9 months ago
- ☆11Mar 9, 2022Updated 4 years ago
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- ☆29Jan 19, 2026Updated 9 months ago
- Formalization of the existence of sphere eversions☆50Oct 21, 2026Updated 3 weeks ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
Are these results useful?