Alphageometry

entities · 1 notes linked

Related: Google Deepmind · Neuro Symbolic AI · Theorem Proving · AI Reasoning

Notes

• AlphaGeometry: An Olympiad-level AI system for geometry — Neuro-symbolic AI solves Olympiad geometry by combining LM with deduction engine