TY  - RPRT
TI  - Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
AU  - Anmol Agarwal
AU  - Natalie Neamtu
AU  - Pranjal Aggarwal
AU  - Seungone Kim
AU  - Jannis Limperg
AU  - Cedric Flamant
AU  - Kanna Shimizu
AU  - Bryan Parno
AU  - Sean Welleck
PY  - 2026
UR  - https://arxiv.org/abs/2605.26457
ID  - 2605.26457
ER  -