ResearchDatasetsQuad-2DQuad-2DFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsNeural Network VerificationQuad-2D-Large104,614Time (s)1