List your company

ResearchFormerly WizWand

FormalPhysics

Benchmarks

TaskDatasetSOTA resultTrendResults

Statement Autoformalisation

FormalPhysics corpus

100FV Score

14

Theorem Autoformalization

FormalPhysics

100FV

11