ResearchDatasetsNomad-styleFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsFormal VerificationNomad-style Zero-Root Init (T3)1Iterations1