Formalgeo7k
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Multi-step theorem prediction | FormalGeo7K (test) | Total Accuracy89.29 | 17 | |
| TextCDL Generation | Formalgeo7k v2 (test) | Recall99.1 | 7 | |
| ImgCDL Generation | Formalgeo7k v2 (test) | Recall97 | 4 |
Showing 3 of 3 rows