Multi-step theorem prediction on Geometry3K
95.16AccuracyPri-TPG
Evaluation results
| Method | Links | |
|---|---|---|
| Pri-TPGbackbone=GPT-5.2, formal language subset=true2026.03 | 95.16 | |
| FGeo-HyperGNetformal language subset=true2026.03 | 91.99 | |
| GeoDRL2026.03 | 85.87 |
| Method | Links | |
|---|---|---|
| Pri-TPGbackbone=GPT-5.2, formal language subset=true2026.03 | 95.16 | |
| FGeo-HyperGNetformal language subset=true2026.03 | 91.99 | |
| GeoDRL2026.03 | 85.87 |