ProverQA
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
ProverQA hard (test)
0Error Rate
12
ProverQA
94Accuracy (Easy)
8
ProverQA hard split
0.686Accuracy
8
ProverQA OOD hard subset 500 records (test)
—Error Rate
0
Loading the SOTA2 catalog…