Ernst, J. O., Saberi, D. M., Christ, D., Zimmermann, T., Salegame, R., Bhat, S. M., . . . Jung, M. (2026). Autoformalizing Memory Specifications with Agents.
Style de citation Chicago (17e éd.)Ernst, Jan Ole, Dmitri Michelangelo Saberi, Derek Christ, Thomas Zimmermann, Rajath Salegame, Suhaas M. Bhat, Stanislav Levental, Thomas Dybdahl Ahle, et Matthias Jung. Autoformalizing Memory Specifications with Agents. 2026.
Style de citation MLA (9e éd.)Ernst, Jan Ole, et al. Autoformalizing Memory Specifications with Agents. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.