ResearchBenchmarksUnique Bug Detection on Full benchmark suite SmallFollow60TPzkCraft36.0842.2948.554.71Jan 31, 2026Evaluation ResultsMethodMethodLinksTPFPPrecisionzkCraftTime Budget=2 hours, R...Time Budget=2 hours, Random Seeds=52026.01600100ZKFUZZEvaluation Mode=Recurs...Evaluation Mode=Recursive, Time Budget=2 hours, Random Seeds=52026.01582867ZKAPEvaluation Mode=US/USC...Evaluation Mode=US/USCO, Time Budget=2 hours, Random Seeds=52026.01372361