Proof Node Pruning on Carleson
1,963Review Cone
Lean Compass
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 1,963 | 5 | 99.7 | |
2026.03 | 1,959 | 5 | 99.7 | |
2026.03 | 1,944 | 10 | 99.5 | |
2026.03 | 1,783 | 25 | 98.6 | |
2026.03 | 1,628 | 25 | 98.5 | |
2026.03 | 1,428 | 53 | 96.3 | |
2026.03 | 1,193 | 105 | 91.2 | |
2026.03 | 1,028 | 59 | 94.3 | |
2026.03 | 885 | 105 | 88.1 |