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

Fate-X

Benchmarks

Task NameDataset NameSOTA ResultTrend
Formal Theorem ProvingFate-X
Solve Rate33
2
Showing 1 of 1 rows