ResearchTasksMathematical Bound DiscoveryFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA 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