| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Natural Language Inference | LogicNLI | Accuracy41 | 26 | |
| NL-to-FOL Syntax Correctness | LogicNLI (test) | Syntax Correctness Rate99 | 26 | |
| First-Order Logic Reasoning | LogicNLI | Pass@176.6 | 18 | |
| Logical Reasoning | LogicNLI | Accuracy63.4 | 11 |