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

Tychonoff

Benchmarks

Task NameDataset NameSOTA ResultTrend
Formal proof size measurementTychonoff 37.3
Direct Size198
1
Showing 1 of 1 rows