| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| EntailmentBank Task 3 (Full Unseen) | SEER | Leaves F147.1 | 10 | 4d ago | |
| EntailmentBank Task 2 (Distractors) | NLProofS | Leaves F190.3 | 6 | 4d ago | |
| EntailmentBank Task 1 (No Distractors) | METGEN | Leaves F1100 | 6 | 4d ago | |
| EntailmentBank (test) | IRGR | Leaves F145.6 | 5 | 4d ago | |
| EntailmentBank 50 samples (test) | FV100 | 4 | 4d ago |
