Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Multi-step theorem prediction on Geometry3K

95.16Accuracy

Pri-TPG

85.498488.006790.51593.0233Mar 5, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.03
95.16
2026.03
91.99
2026.03
85.87