MIL
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Proof Optimization (Mixed) | MIL aggregated (test) | Improvement27.31 | 4 | |
| Proof Optimization (Declarativity) | MIL aggregated (test) | Improvement9.34 | 4 | |
| Proof Optimization (Length) | MIL aggregated (test) | Improvement20.96 | 4 | |
| Proof length optimization | MIL | Improvement43.55 | 4 | |
| Neural Theorem Proving | MIL General Subset | Pass@1539.13 | 2 | |
| Neural Theorem Proving | MIL-C04 | Pass@1545.45 | 2 | |
| Proof declarativity optimization | MIL | Improvement13.45 | 2 |
Showing 7 of 7 rows