ResearchBenchmarksACSL Specification Synthesis on DS-IACSL Specification Synthesis on DS-IFollow100GSRAutoACSL54.2466.127889.88Jun 18, 2026Evaluation resultsMethodMethodLinksGSRFPRAVCAutoACSLBackbone=Gemini-3Backbone=Gemini-32026.061008820AutoACSLBackbone=GPT-o4 MiniBackbone=GPT-o4 Mini2026.06908419AutoACSLBackbone=GPT-5.2Backbone=GPT-5.22026.06858621AutoACSLBackbone=Grok-4.1Backbone=Grok-4.12026.06567815