AI Reasoning

concepts · 1 notes linked

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

Notes

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