seL4 proof corpus
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Automated Theorem Proving | seL4 proof corpus (full library) | Proof Lines Count6,235 | 5 |
Showing 1 of 1 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Automated Theorem Proving | seL4 proof corpus (full library) | Proof Lines Count6,235 | 5 |