Compfiles
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Proof optimization (Mixed) | Compfiles | Improvement20.6 | 2 | |
| Proof optimization (Declarativity) | Compfiles | Improvement5.74 | 2 | |
| Proof optimization (Length) | Compfiles | Improvement18.86 | 2 |
Showing 3 of 3 rows