Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Formalgeo

Benchmarks

Task NameDataset NameSOTA ResultTrend
Geometry problem solvingFormalgeo7k
Top-1 Accuracy63.5
17
CDL GenerationFormalgeo Rec-CoT 1.0 (test)
Img CDL Recall97.2
10
Plane Geometry Problem SolvingFormalgeo (test)
Accuracy0.857
10
Showing 3 of 3 rows