seL4
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Automated Theorem Proving | seL4 | Proof Success Rate77.6 | 6 | |
| Automated Theorem Proving | seL4 hard (test) | Proof Success Rate69.8 | 6 | |
| Automated Theorem Proving | seL4 (test) | Proof Success Rate89 | 6 | |
| Automated Theorem Proving | seL4 (val) | Proof Success Rate79.8 | 6 |
Showing 4 of 4 rows