Making Google Deepmind's AlphaGeometry accessible to the Masses
☆64Jan 9, 2025Updated last year
Alternatives and similar repositories for ag4masses
Users that are interested in ag4masses are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Oct 10, 2024Updated 2 years ago
- AlphaGeometry Re-engineered☆43Mar 11, 2026Updated 7 months ago
- GeometryZero: Improving Geometry Solving for LLM with Group Contrastive Policy Optimization☆11Sep 1, 2025Updated last year
- Automatic solver for plane geometry problems.☆100Feb 24, 2026Updated 8 months ago
- [ACL 2026 Main Conference] Paper list for the survey "A Survey of Deep Learning for Geometry Problem Solving"☆35Sep 14, 2025Updated last year
- 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.
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Formal geometric problem solver based on FormalGeo.☆19Apr 18, 2024Updated 2 years ago
- Formal representation and solving for Euclidean plane geometry problems.☆45Jul 1, 2026Updated 4 months ago
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆231May 28, 2025Updated last year
- ☆17Feb 2, 2026Updated 9 months ago
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆34Oct 23, 2024Updated 2 years ago
- ☆27Aug 5, 2021Updated 5 years ago
- ☆33Jul 22, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The first end-to-end deep learning model for explicit plane geometry diagram parsing.☆59Jun 3, 2026Updated 5 months ago
- Lean formalization of CFSG☆20Oct 28, 2026Updated last week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆145Oct 13, 2026Updated 3 weeks ago
- ☆19Apr 5, 2025Updated last year
- ☆51Aug 19, 2026Updated 2 months ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 5 months ago
- Mozi Lean Copilot VS Code Extension☆11Jan 7, 2026Updated 10 months ago
- Lean4 Code Editor☆19Oct 9, 2026Updated 3 weeks ago
- ☆4,903Jan 13, 2026Updated 9 months 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.
- Comparator-based Lean formal mathematics eval☆50Updated this week
- The code and data for the paper JiuZhang3.0☆49May 26, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated 2 years ago
- ☆27Nov 1, 2021Updated 5 years ago
- Resources of deep learning for mathematical reasoning (DL4MATH).☆370Dec 22, 2023Updated 2 years ago
- Catalog Of Math Problems Formalized In Lean☆255Oct 23, 2026Updated 2 weeks ago
- AlphaGeometry2 symbolic engine (DDAR) with examples☆109Jan 7, 2026Updated 9 months ago
- ☆76Mar 25, 2026Updated 7 months ago
- [ICLR 2025 DATA-FM] Training and Evaluating Language Models with Template-based Data Generation (https://arxiv.org/abs/2411.18104)☆13May 13, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆37Oct 27, 2026Updated last week
- Automatic solver for plane geometry problems.☆28Oct 21, 2026Updated 2 weeks ago
- DeepAlgebra☆26Oct 26, 2017Updated 9 years ago
- ☆15Jul 22, 2024Updated 2 years ago
- Official code implementation of Slow Perception:Let's Perceive Geometric Figures Step-by-step☆163Jul 28, 2025Updated last year
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆108Jan 4, 2025Updated last year
- ☆23Jan 19, 2023Updated 3 years ago