☆18Sep 11, 2026Updated 2 months ago
Alternatives and similar repositories for ml-hilbert
Users that are interested in ml-hilbert are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Monomial ordered polynomial implementation in Lean4☆11Oct 2, 2026Updated last month
- ☆50Oct 31, 2025Updated last year
- ☆18Jul 12, 2025Updated last year
- ☆56Jun 15, 2026Updated 5 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆37Oct 18, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This is the official implementation for MA-LoT.☆21Aug 4, 2025Updated last year
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated last year
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆29Aug 19, 2025Updated last year
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated last year
- ☆18Oct 27, 2024Updated 2 years ago
- ☆15Jul 29, 2024Updated 2 years ago
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- ☆62Jan 23, 2026Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆38Jan 10, 2025Updated last year
- ☆26Jun 28, 2026Updated 4 months ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 8 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆124Mar 28, 2025Updated last year
- ☆51Aug 5, 2025Updated last year
- [ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4☆20Mar 20, 2026Updated 7 months ago
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆11Aug 24, 2023Updated 3 years ago
- Kimina Lean server (+ client SDK)☆216Jan 11, 2026Updated 10 months ago
- ☆76Mar 25, 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.
- Still working on improving this!☆16Oct 16, 2026Updated 3 weeks ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Parallel, fused reducers for Lean 4☆16Oct 19, 2026Updated 3 weeks ago
- ProofNet dataset ported into Lean 4☆31Jun 9, 2025Updated last year
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- ☆24Feb 5, 2024Updated 2 years ago
- ☆17Jul 30, 2025Updated last year
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆52Apr 22, 2026Updated 6 months ago
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models> in EMNLP 2026 Findings☆76Aug 24, 2026Updated 2 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.
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- ☆33Sep 9, 2026Updated 2 months ago
- ☆23Jan 19, 2023Updated 3 years ago
- ☆37Sep 8, 2026Updated 2 months ago
- Benchmark for undergraduate-level formal mathematics☆129Oct 14, 2024Updated 2 years ago
- ☆291Jul 8, 2026Updated 4 months ago
- MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?☆11Jun 29, 2025Updated last year
Are these results useful?