First-order logic formalization on FOLIO
31.53AccuracyDCCD
Evaluation results
| Method | Links | |
|---|---|---|
| DCCDModel Size=7B2026.02 | 31.53 | |
| DCCDModel Size=8B2026.02 | 27.09 | |
| DCCDModel Size=14B2026.02 | 25.62 | |
| CDModel Size=8B2026.02 | 23.15 | |
| DCCDModel Size=1B2026.02 | 21.67 | |
| DCCDModel Size=3B2026.02 | 21.67 | |
| CDModel Size=3B2026.02 | 20.69 | |
| CDModel Size=1B2026.02 | 19.7 | |
| CDModel Size=7B2026.02 | 19.7 | |
| CDModel Size=14B2026.02 | 18.72 | |
| DCCDModel Size=1.5B2026.02 | 18.23 | |
| CDModel Size=1.5B2026.02 | 14.78 | |
| CPModel Size=3B2026.02 | 1 | |
| CFModel Size=8B2026.02 | 0.49 | |
| CFModel Size=14B2026.02 | 0.49 | |
| CPModel Size=1B2026.02 | 0 | |
| CFModel Size=1B2026.02 | 0 | |
| CPModel Size=1.5B2026.02 | 0 | |
| CFModel Size=1.5B2026.02 | 0 | |
| CFModel Size=3B2026.02 | 0 | |
| CPModel Size=7B2026.02 | 0 | |
| CFModel Size=7B2026.02 | 0 | |
| CPModel Size=8B2026.02 | 0 | |
| CPModel Size=14B2026.02 | 0 |