ResearchDatasetsFOOFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsSecurity protocol analysisFOO Eligibility protocol20.3Average Proof Size12