Mathematical Bound Discovery on Mathematical Discovery Suite 9 problems 1.0 (test)
1.535First Autocorrelation InequalityIID RS
Evaluation Results
| Method | Links | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| IID RSBudget=$202026.02 | 1.535 | 0.8739 | 0.3521 | 0.3811 | 1.1237 | 12.8892 | 0.0334 | 438 | 2.632 | — | — | 2.28 | |
| ShinkaEvolveBudget=$202026.02 | 1.522 | 0.8955 | 0.3521 | 0.381 | 1.1095 | 12.8892 | 0.0356 | 402 | 2.636 | — | — | 1.89 | |
| SCSBudget=$202026.02 | 1.519 | 0.8795 | 0.3521 | 0.3812 | 1.1178 | 12.8892 | 0.0365 | 438 | 2.6359 | — | — | 1.83 | |
| AlphaEvolveBudget=$202026.02 | 1.505 | 0.8962 | 0.3521 | 0.3809 | 1.1584 | 12.8893 | 0.0365 | 593 | 2.6359 | — | — | — |