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

Conjectures

Benchmarks

Task NameDataset NameSOTA ResultTrend
Auto-formalizationConjectures
Final Accuracy42.9
9
Showing 1 of 1 rows