ResearchDatasetsSpace-filling curveSpace-filling curveFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal proof size measurementSpace-filling curve 44.1325Direct Proof Size1