ResearchBenchmarksACSL Specification Synthesis on DS-IIIACSL Specification Synthesis on DS-IIIFollow100GSRAutoACSL86.4889.9993.597.01Jun 18, 2026Evaluation resultsMethodMethodLinksGSRFPRAVCAutoACSLBackbone=GPT-5.2Backbone=GPT-5.22026.061008922AutoACSLBackbone=Gemini-3Backbone=Gemini-32026.06999521AutoACSLBackbone=GPT-o4 MiniBackbone=GPT-o4 Mini2026.06909017AutoACSLBackbone=Grok-4.1Backbone=Grok-4.12026.06878918