ResearchDatasetsMathematical Discovery SuiteMathematical Discovery SuiteFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA 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