AlphaGeometry: Solving olympiad geometry without human demonstrations (Paper Explained)

#deepmind #alphageometry #llm

AlphaGeometry is a combination of a symbolic solver and a large language model by Google DeepMind that tackles IMO geometry questions without any human-generated trainind data.

OUTLINE:
0:00 - Introduction
1:30 - Problem Statement
7:30 - Core Contribution: Synthetic Data Generation
9:30 - Sampling Premises
13:00 - Symbolic Deduction
17:00 - Traceback
19:00 - Auxiliary Construction
25:20 - Experimental Results
32:00 - Problem Representation
34:30 - Final Comments

Paper: https://www.nature.com/articles/s41586-023-06747-5

Abstract:
Proving mathematical theorems at the olympiad …

alphageometry combination core data deepmind explained generated geometry google google deepmind human introduction language language model large language large language model llm olympiad paper questions sampling solver synthetic synthetic data