ResearchDatasetslarge-scale benchmarklarge-scale benchmarkFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsTime Series ClassificationLarge Scale Benchmark Euclidean (train test)193Total Time (Seconds)8Formal Theorem Provinglarge-scale benchmark 2,000 problems (test)0.813FR Rate2