ProverQA
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Deductive logical reasoning | ProverQA hard (test) | Error Rate0 | 12 | |
| Deductive logical reasoning | ProverQA OOD hard subset 500 records (test) | Error Rate- | 0 |
Showing 2 of 2 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Deductive logical reasoning | ProverQA hard (test) | Error Rate0 | 12 | |
| Deductive logical reasoning | ProverQA OOD hard subset 500 records (test) | Error Rate- | 0 |