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

PISA

Benchmarks

Task NameDataset NameSOTA ResultTrend
Theorem ProvingPISA 2021-10-22 (test)
Success Rate57
5
Showing 1 of 1 rows