Formalgeo
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Geometry problem solving | Formalgeo7k | Top-1 Accuracy63.5 | 17 | |
| CDL Generation | Formalgeo Rec-CoT 1.0 (test) | Img CDL Recall97.2 | 10 | |
| Plane Geometry Problem Solving | Formalgeo (test) | Accuracy0.857 | 10 |
Showing 3 of 3 rows