List your company

ResearchFormerly WizWand

ANALYTIC GEOMETRY

Benchmarks

TaskDatasetSOTA resultTrendResults

Multimodal Autoformalization

ANALYTIC GEOMETRY Solid Geometry

1Compile Rate

10

Multimodal Autoformalization

ANALYTIC GEOMETRY Plane Geometry

60Compile Rate

10