TY  - RPRT
TI  - Autoformalizing Memory Specifications with Agents
AU  - Jan Ole Ernst
AU  - Dmitri Michelangelo Saberi
AU  - Derek Christ
AU  - Thomas Zimmermann
AU  - Rajath Salegame
AU  - Suhaas M. Bhat
AU  - Stanislav Levental
AU  - Thomas Dybdahl Ahle
AU  - Matthias Jung
PY  - 2026
UR  - https://arxiv.org/abs/2605.00058
ID  - 2605.00058
ER  -