ResearchBenchmarksLoop Invariant Generation on LIG-MM (test)Loop Invariant Generation on LIG-MM (test)Follow38.78Pass Rate @ 1LLM-SE-1.55128.919419.3929.8606Nov 17, 2023Evaluation resultsMethodMethodLinksPass Rate @ 1Pass Rate @ 8LLM-SE2023.1138.7842.95SLING2023.1112.8221.79GPT-42023.1112.517.68AutoSpec2023.1100