Automated Theorem Proving on seL4 (test)
89Proof Success Rate
Stepwise (Mistral)
Updated 27d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 89 | |
2026.03 | 74.9 | |
2026.03 | 39.5 | |
2026.03 | 9.5 | |
2026.03 | 7 | |
2026.03 | 6.7 |
Stepwise (Mistral)
| Method | Links | |
|---|---|---|
2026.03 | 89 | |
2026.03 | 74.9 | |
2026.03 | 39.5 | |
2026.03 | 9.5 | |
2026.03 | 7 | |
2026.03 | 6.7 |