ResearchBenchmarksInfinite Loop Detection on Smart Contract Vulnerability Infinite LoopInfinite Loop Detection on Smart Contract Vulnerability Infinite LoopFollow83.11AccuracyOurs44.973254.874164.77574.6759Sep 12, 2025Evaluation resultsMethodMethodLinksAccuracyPrecisionRecallF1 ScoreOurs2025.0983.1182.7485.0683.94Looper2025.0959.5662.7247.2153.87PDA2025.0946.4442.9621.7328.26