ResearchTasksVerifier CeilingFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedHard Bank max_atoms=4Generator45Mean Rate3Jun 9, 2026Easy Bank max_atoms=3Generator55.4Mean Rate3Jun 9, 2026