ResearchTasksLoop invariant inferenceLoop invariant inferenceFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSingle-loop Benchmark OOPSLA-13 SV-COMP CLRS-AlgINVWEAVER6Solved Count (Only)8Jul 8, 2026Multi-loop benchmark (OOPSLA-13, SV-COMP, CLRS-Alg)INVWEAVER13Solved Count (Only)8Jul 8, 2026