Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

FormalMath

Benchmarks

Task NameDataset NameSOTA ResultTrend
Auto-formalizationFormalMath-Lite
Pass@899.8
13
Showing 1 of 1 rows