ResearchTasksCryptographic ProofCryptographic ProofFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedAICrypto (test)F-1 (Ours)1.42Efficiency Ratio4Feb 26, 2026