APA (7th ed.) Citation

Ernst, J. O., Saberi, D. M., Christ, D., Zimmermann, T., Salegame, R., Bhat, S. M., . . . Jung, M. (2026). Autoformalizing Memory Specifications with Agents.

Chicago Style (17th ed.) Citation

Ernst, Jan Ole, Dmitri Michelangelo Saberi, Derek Christ, Thomas Zimmermann, Rajath Salegame, Suhaas M. Bhat, Stanislav Levental, Thomas Dybdahl Ahle, and Matthias Jung. Autoformalizing Memory Specifications with Agents. 2026.

MLA (9th ed.) Citation

Ernst, Jan Ole, et al. Autoformalizing Memory Specifications with Agents. 2026.