Automated Theorem Proving on seL4 hard (test)
69.8Proof Success Rate
Stepwise (Mistral)
Updated 27d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2026.03 | 69.8 | |
2026.03 | 61.1 | |
2026.03 | 40.9 | |
2026.03 | 6.1 | |
2026.03 | 4.5 | |
2026.03 | 3.3 |
Stepwise (Mistral)
| Method | Links | |
|---|---|---|
2026.03 | 69.8 | |
2026.03 | 61.1 | |
2026.03 | 40.9 | |
2026.03 | 6.1 | |
2026.03 | 4.5 | |
2026.03 | 3.3 |