Proof Node Pruning on Carleson
1,963Review ConeLean Compass
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Lean CompassMain Theorem=classical_carleson2026.03 | 1,963 | 5 | 99.7 | |
| Lean CompassMain Theorem=exceptional_set_carleson2026.03 | 1,959 | 5 | 99.7 | |
| Lean CompassMain Theorem=control_approximation_effect2026.03 | 1,944 | 10 | 99.5 | |
| Lean CompassMain Theorem=two_sided_metric_carleson2026.03 | 1,783 | 25 | 98.6 | |
| Lean CompassMain Theorem=metric_carleson2026.03 | 1,628 | 25 | 98.5 | |
| Lean CompassMain Theorem=discrete_carleson2026.03 | 1,428 | 53 | 96.3 | |
| Lean CompassMain Theorem=forest_union2026.03 | 1,193 | 105 | 91.2 | |
| Lean CompassMain Theorem=forest_operator2026.03 | 1,028 | 59 | 94.3 | |
| Lean CompassMain Theorem=forest_complement2026.03 | 885 | 105 | 88.1 |