Automated Theorem Proving on seL4 (val)
79.8Proof Success Rate
Stepwise (Mistral)
Updated 27d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 79.8 | |
2026.03 | 73.6 | |
2026.03 | 40.5 | |
2026.03 | 8.9 | |
2026.03 | 6.1 | |
2026.03 | 4.9 |
Stepwise (Mistral)
| Method | Links | |
|---|---|---|
2026.03 | 79.8 | |
2026.03 | 73.6 | |
2026.03 | 40.5 | |
2026.03 | 8.9 | |
2026.03 | 6.1 | |
2026.03 | 4.9 |