ResearchDatasetsMathematical Discovery SuiteFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsMathematical Bound DiscoveryMathematical Discovery Suite 9 problems 1.0 (test)1.535First Autocorrelation Inequality4
Mathematical Bound DiscoveryMathematical Discovery Suite 9 problems 1.0 (test)1.535First Autocorrelation Inequality4