| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Mathematics Extremal Analysis | Autocorrelation Inequality 1 | Bound1.5097 | 5 | |
| Autocorrelation / inequalities | Third autocorrelation inequality variant | Objective Value1.4588 | 2 | |
| Mathematics Extremal Analysis | Autocorrelation Inequality 3 | Bound1.4537 | 2 | |
| Mathematics Extremal Analysis | Autocorrelation Inequality 2 | Bound0.9627 | 2 |