@misc{indiciae55b0032b29ed,
  title = {Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization},
  author = {Anmol Agarwal and Natalie Neamtu and Pranjal Aggarwal and Seungone Kim and Jannis Limperg and Cedric Flamant and Kanna Shimizu and Bryan Parno and Sean Welleck},
  year = {2026},
  url = {https://arxiv.org/abs/2605.26457},
  note = {Source identifier: 2605.26457}
}