☆145Apr 12, 2026Updated 5 months ago
Alternatives and similar repositories for Goedel-Code-Prover
Users that are interested in Goedel-Code-Prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 5 months ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- ☆24May 18, 2026Updated 4 months ago
- ☆15Mar 25, 2026Updated 6 months ago
- ☆93Aug 12, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆95Aug 31, 2026Updated last month
- ☆32Jul 16, 2025Updated last year
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 5 months ago
- Research code base for Automatic Textbook Formalization☆162Mar 31, 2026Updated 6 months ago
- ☆191Aug 27, 2025Updated last year
- ☆62Dec 1, 2025Updated 10 months ago
- Turn any image into an editable, multicolor 3MF bead relief — locally in your browser.☆484Sep 14, 2026Updated 2 weeks ago
- A plug-in, modern and customizable C2 framework☆119Sep 25, 2026Updated last week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆60Feb 23, 2026Updated 7 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.
- Rust bindings for the Lean 4 proof assistant☆51Sep 24, 2025Updated last year
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 6 months ago
- ☆190Aug 21, 2026Updated last month
- Implementation and subsequent optimization for "Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models"☆29Jun 16, 2025Updated last year
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆79Aug 17, 2026Updated last month
- ☆26Jun 28, 2026Updated 3 months ago
- AI漫剧创作，从故事到交付☆99Aug 21, 2026Updated last month
- ☆29Apr 2, 2026Updated 6 months ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆40Apr 8, 2026Updated 5 months ago
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models> in EMNLP 2026 Findings☆76Aug 24, 2026Updated last month
- ☆195Sep 15, 2026Updated 2 weeks ago
- A Minimal Agent for Automated Theorem Proving☆51Sep 3, 2026Updated last month
- ☆197Sep 17, 2026Updated 2 weeks ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆49Apr 22, 2026Updated 5 months ago
- Solving Inequality Proofs with Large Language Models.☆61Dec 15, 2025Updated 9 months ago
- Zero-integration Chrome extension that maps React DOM elements to JSX/TSX source locations.☆193Aug 12, 2026Updated last month
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- 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.
- WybeCoder Verified Generation of Imperative Code with LLMs☆41May 6, 2026Updated 4 months ago
- ☆14Sep 16, 2026Updated 2 weeks ago
- ☆443Feb 13, 2026Updated 7 months ago
- ☆18Aug 16, 2026Updated last month
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- [ECCV 2026] One Video, One World: Turning Monocular Video into Physical 4D Scenes☆174Sep 10, 2026Updated 3 weeks ago
- ☆18Oct 27, 2024Updated last year