Deductive logical reasoning on ProverQA OOD hard subset 500 records (test)
—Error RateMethod not available
No plottable results for Error Rate (PERCENT).
Evaluation Results
| Method | Links |
|---|
No evaluation results match this method.
Loading the SOTA2 catalog…