ResearchDatasetsQuad-2DFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsNeural Network VerificationQuad-2D-Large104,614Time (s)1