Proof Node Pruning on Brownian Motion
227Review Cone
Lean Compass
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 227 | 14 | 93.8 | |
2026.03 | 202 | 2 | 99 | |
2026.03 | 56 | 2 | 96.4 | |
2026.03 | 48 | 3 | 93.8 | |
2026.03 | 46 | 5 | 89.1 |
Lean Compass
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 227 | 14 | 93.8 | |
2026.03 | 202 | 2 | 99 | |
2026.03 | 56 | 2 | 96.4 | |
2026.03 | 48 | 3 | 93.8 | |
2026.03 | 46 | 5 | 89.1 |