| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Carleson | Lean Compass | Review Cone1,963 | 9 | 1mo ago | |
| PrimeNumberTheoremAnd | Lean Compass | Review Cone315 | 8 | 1mo ago | |
| FLT | Lean Compass | Review Cone31 | 6 | 1mo ago | |
| XMSS Encoding Scheme | Lean Compass | Review Cone45 | 5 | 1mo ago | |
| PhysLib | Lean Compass | Review Cone337 | 5 | 1mo ago | |
| Brownian Motion | Lean Compass | Review Cone227 | 5 | 1mo ago |
