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

Herald-Proof

Benchmarks

Task NameDataset NameSOTA ResultTrend
Theorem AutoformalizationHerald-Proof
Objects Score6.57
1
Showing 1 of 1 rows