ResearchDatasetsCAV-GymFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsTest GenerationCAV-Gym n=5 (test)40.2Accuracy (%)6Test GenerationCAV-Gym n=1 (test)16Accuracy (%)6