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

Plane Geometry Problem Solving on Formalgeo (test)

0.857Accuracy

MLLM Interpreter

0.561640.638320.7150.79168Jan 29, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.01
0.857
2026.01
0.818
2026.01
0.805
2026.01
0.753
2026.01
0.734
2026.01
0.691
2026.01
0.691
2026.01
0.598
2026.01
0.58
2026.01
0.573