Formal Theorem Proving on miniF2F Isabelle (val)
57Success Rate
LEGO-Prover*
Updated 1mo ago
Evaluation Results
| Method | Links | |
|---|---|---|
2023.10 | 57 | |
| 55.3 | ||
2023.09 | 55.3 | |
2023.09 | 54.9 | |
2023.09 | 52.8 | |
| 52.4 | ||
2023.09 | 52 | |
2023.10 | 50.4 | |
| 48 | ||
2023.10 | 48 | |
2023.09 | 48 | |
| 47.5 | ||
| 47.1 | ||
| 44.3 | ||
2023.05 | 42.6 | |
2023.10 | 42.6 | |
| 42.6 | ||
| 42.6 | ||
| 41.8 | ||
2023.05 | 37.3 | |
2023.10 | 37.3 | |
2023.09 | 37.3 | |
2023.05 | 28.3 | |
2023.10 | 28.3 | |
2023.09 | 28.3 | |
2023.05 | 18 | |
2023.09 | 18 | |
2023.05 | 9.9 | |
2023.09 | 9.9 | |
2022.10 | 0.439 | |
2022.10 | 0.426 | |
2022.10 | 0.426 | |
2022.10 | 0.406 | |
2022.10 | 0.406 | |
2022.10 | 0.389 | |
2022.10 | 0.377 | |
2022.10 | 0.373 | |
2022.10 | 0.328 | |
2022.10 | 0.283 | |
2022.10 | 0.18 | |
2022.10 | 0.099 |