List your company

ResearchFormerly WizWand

Fate-X

Benchmarks

TaskDatasetSOTA resultTrendResults

Auto-formalization

FATE-X

69Compiler Success Rate

9

Automated Theorem Proving

FATE-X

33Pass Rate

5

Formal Theorem Proving

Fate-X

33Solve Rate

2