Theorem Proving · Google DeepMind
AlphaGeometry: Olympiad Geometry Without Human Proof Demonstrations
AlphaGeometry combines a neural language model with symbolic deduction, using synthetic theorems and proofs to reach near gold-medal performance on olympiad geometry.