ResearchDatasetslarge-scale benchmarkFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsTime Series ClassificationLarge Scale Benchmark Euclidean (train test)193Total Time (Seconds)8Formal Theorem Provinglarge-scale benchmark 2,000 problems (test)0.813FR Rate2