@misc{indiciaeddde58711e29,
  title = {Autoformalizing Memory Specifications with Agents},
  author = {Jan Ole Ernst and Dmitri Michelangelo Saberi and Derek Christ and Thomas Zimmermann and Rajath Salegame and Suhaas M. Bhat and Stanislav Levental and Thomas Dybdahl Ahle and Matthias Jung},
  year = {2026},
  url = {https://arxiv.org/abs/2605.00058},
  note = {Source identifier: 2605.00058}
}