Multi-step Theorem Prediction on GeoQA
85.64AccuracyFGeo-HyperGNet
Evaluation Results
| Method | Links | |
|---|---|---|
| FGeo-HyperGNetformal language subset=true2026.03 | 85.64 | |
| Pri-TPGbackbone=GPT-5.2, formal language subset=true2026.03 | 85.02 | |
| DualGeoSolver2026.03 | 65.2 | |
| SCA-GPS2026.03 | 64.1 |