ResearchBenchmarksACSL Specification Synthesis on DS-IVACSL Specification Synthesis on DS-IVFollow97GSRAutoACSL82.4486.229093.78Jun 18, 2026Evaluation resultsMethodMethodLinksGSRFPRAVCAutoACSLBackbone=Gemini-3Backbone=Gemini-32026.06979815AutoACSLBackbone=GPT-o4 MiniBackbone=GPT-o4 Mini2026.06928912AutoACSLBackbone=GPT-5.2Backbone=GPT-5.22026.06918716AutoACSLBackbone=Grok-4.1Backbone=Grok-4.12026.06839211