AI4Geometry
Everything about AI4Gemetry (AI for geometry problem solving / theorem proving).
Install / Use
/learn @BitSecret/AI4GeometryREADME
AI4Geometry
Everything about AI for Geometric problem solving / theorem proving. This repository collects the latest research progress on AI4Geometry, including papers, workshops, benchmarks, and more.
View on GitHub90/100
Security Score
Audited on Mar 11, 2026
No findings