ResearchDatasetsHard BankFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsVerifier CeilingHard Bank max_atoms=445Mean Rate3