Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
DGX agentarXiv:2605.26457v1 Announce Type: cross Abstract: AI coding agents are increasingly used to write real-world software, but ensuring that their outputs are correct remains a fundamental challenge. Form