Alpha Geometry
AlphaGeometry is a neuro-symbolic AI system from Google DeepMind that solves competition-level Euclidean plane geometry problems, combining a language model that proposes auxiliary constructions with a symbolic deduction engine that verifies and completes rigorous proofs, achieving performance close to a human…
2 resources across 1 library
Glossary Terms(2)
AlphaCode
AlphaCode is a system developed by DeepMind that generates computer programs to solve competitive programming problems, achieving performance comparable to med…
AlphaGeometry
AlphaGeometry is a neuro-symbolic AI system from Google DeepMind that solves competition-level Euclidean plane geometry problems, combining a language model th…