Automated Theorem Proving on seL4
77.6Proof Success Rate
Stepwise (Mistral)
Updated 27d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 77.6 | |
2026.03 | 70.4 | |
2026.03 | 40.3 | |
2026.03 | 7.8 | |
2026.03 | 5.9 | |
2026.03 | 5.6 |
Stepwise (Mistral)
| Method | Links | |
|---|---|---|
2026.03 | 77.6 | |
2026.03 | 70.4 | |
2026.03 | 40.3 | |
2026.03 | 7.8 | |
2026.03 | 5.9 | |
2026.03 | 5.6 |