ResearchTasksMathematical Bound DiscoveryMathematical Bound DiscoveryFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedMathematical Discovery Suite 9 problems 1.0 (test)IID RS1.535First Autocorrelation Inequality4Feb 26, 2026
Mathematical Discovery Suite 9 problems 1.0 (test)IID RS1.535First Autocorrelation Inequality4Feb 26, 2026