15k open math problems, linked to their sources.
☆28Jul 31, 2026Updated 2 months ago
Alternatives and similar repositories for conjecture-bench
Users that are interested in conjecture-bench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆37Updated this week
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- ☆15Mar 25, 2026Updated 6 months ago
- ☆18Jul 30, 2026Updated 2 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Adversarially Robust Generalization Just Requires More Unlabeled Data☆11Aug 8, 2019Updated 7 years ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆30Aug 13, 2026Updated 2 months ago
- ☆13Jul 8, 2024Updated 2 years ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆22Jun 27, 2026Updated 3 months ago
- ProofNet dataset ported into Lean 4☆30Jun 9, 2025Updated last year
- Mozi Lean Copilot VS Code Extension☆12Jan 7, 2026Updated 9 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆24May 18, 2026Updated 5 months ago
- ☆25Jul 29, 2026Updated 2 months ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- ASCI Summer Research Lean☆11Updated this week
- ☆13Jun 2, 2024Updated 2 years ago
- ☆17Jul 2, 2025Updated last year
- ☆37Sep 8, 2026Updated last month
- ☆16May 28, 2026Updated 4 months ago
- 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.
- Distributed, objective-led control plane for Lean 4 formalization projects.☆36Oct 9, 2026Updated last week
- ☆31Sep 9, 2026Updated last month
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- Example to read qr code with kotlin☆10Jul 24, 2018Updated 8 years ago
- ☆35Sep 2, 2026Updated last month
- The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"☆15Jul 2, 2024Updated 2 years ago
- ☆26May 30, 2023Updated 3 years ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- Comparator-based Lean formal mathematics eval☆48Updated this week
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆20Jul 10, 2026Updated 3 months ago
- A Simple Algorithm for Minimum Cuts in Near-Linear Time (SWAT '20)☆12Apr 24, 2020Updated 6 years ago
- Tools for Natural Language Processing☆12Feb 16, 2018Updated 8 years ago
- ☆25Aug 2, 2022Updated 4 years ago