ResearchBenchmarksACSL Specification Synthesis on DS-IIACSL Specification Synthesis on DS-IIFollow100GSRAutoACSL87.5290.769497.24Jun 18, 2026Evaluation resultsMethodMethodLinksGSRFPRAVCAutoACSLBackbone=Gemini-3Backbone=Gemini-32026.061009515AutoACSLBackbone=GPT-o4 MiniBackbone=GPT-o4 Mini2026.06968415AutoACSLBackbone=GPT-5.2Backbone=GPT-5.22026.06939614AutoACSLBackbone=Grok-4.1Backbone=Grok-4.12026.06889214