Proof Node Pruning on FLT
31Review Cone
Lean Compass
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 31 | 1 | 96.8 | |
2026.03 | 27 | 2 | 92.6 | |
2026.03 | 25 | 16 | 36 | |
2026.03 | 23 | 16 | 30.4 | |
2026.03 | 17 | 8 | 52.9 | |
2026.03 | 4 | 2 | 50 |
Lean Compass
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 31 | 1 | 96.8 | |
2026.03 | 27 | 2 | 92.6 | |
2026.03 | 25 | 16 | 36 | |
2026.03 | 23 | 16 | 30.4 | |
2026.03 | 17 | 8 | 52.9 | |
2026.03 | 4 | 2 | 50 |