Automatic solver for plane geometry problems.
☆89Feb 24, 2026Updated last month
Alternatives and similar repositories for Newclid
Users that are interested in Newclid are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆45Apr 9, 2026Updated last week
- NeqLIPS: a powerful Olympiad-level inequality prover☆41Sep 7, 2025Updated 7 months ago
- ☆28Jul 16, 2025Updated 9 months ago
- ☆33Sep 14, 2025Updated 7 months ago
- ☆44Sep 19, 2024Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Aug 29, 2025Updated 7 months ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆125Nov 25, 2025Updated 4 months ago
- ☆12Oct 10, 2024Updated last year
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆62Jan 9, 2025Updated last year
- ☆161Aug 27, 2025Updated 7 months ago
- ☆13Mar 27, 2024Updated 2 years ago
- Automatic solver for plane geometry problems.☆25Apr 9, 2026Updated last week
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆119Mar 28, 2025Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year
- 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.
- ImProver: Agent-Based Automated Proof Optimization☆41Jan 18, 2026Updated 2 months ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"☆22Feb 16, 2025Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆222May 28, 2025Updated 10 months ago
- ☆41Feb 7, 2025Updated last year
- ☆65Jul 30, 2025Updated 8 months ago
- plasTeX plugin to build formalization blueprints.☆323Dec 23, 2025Updated 3 months ago
- Retrieval-Augmented Theorem Provers for Lean☆322Jan 30, 2025Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 10 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆51Feb 23, 2026Updated last month
- Temporal Word Analogies in Python☆18Aug 2, 2017Updated 8 years ago
- Solving Competition Geometry Problems in Lean☆35Aug 26, 2025Updated 7 months ago
- Formal representation and solving for Euclidean plane geometry problems.☆36Apr 8, 2026Updated last week
- Formalization of IMO shortlist problems in Lean 4☆25Apr 3, 2026Updated last week
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 10 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆194Apr 7, 2026Updated last week
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- ☆17Mar 25, 2026Updated 3 weeks ago
- Fermat's Last Theorem for regular primes☆62Apr 6, 2026Updated last week
- [NeurIPS 2023] Code release for "Going Beyond Linear Mode Connectivity: The Layerwise Linear Feature Connectivity"☆19Oct 19, 2023Updated 2 years ago
- Harmonic Datasets☆54Jul 12, 2024Updated last year
- ☆57Apr 2, 2026Updated 2 weeks ago