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

STP

Benchmarks

Task NameDataset NameSOTA ResultTrend
Formal Theorem ProvingSTP In-domain
Average Token Cost2,604.24
4
Showing 1 of 1 rows