ResearchTasksCryptographic ProofFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedAICrypto (test)F-1 (Ours)1.42Efficiency Ratio4Feb 26, 2026