ResearchBenchmarksACSL Specification Synthesis on Overall Combined DS-I, DS-II, DS-III, DS-IVACSL Specification Synthesis on Overall Combined DS-I, DS-II, DS-III, DS-IVFollow98GSRAutoACSL73.0479.528692.48Jun 18, 2026Evaluation resultsMethodMethodLinksGSRFPRAVCAutoACSLBackbone=Gemini-3Backbone=Gemini-32026.06989616AutoACSLBackbone=GPT-o4 MiniBackbone=GPT-o4 Mini2026.06928814AutoACSLBackbone=GPT-5.2Backbone=GPT-5.22026.06928817AutoACSLBackbone=Grok-4.1Backbone=Grok-4.12026.06749112