%0 Conference Paper %1 ernst2026autoformalizing %A Ernst, Jan Ole %A Saberi, Dmitri %A Zimmermann, Thomas %A Christ, Derek %A Salegame, Rajath %A Bhat, Suhaas %A Levental, Stanislav %A Ahle, Thomas %A Jung, Matthias %B VerifAI-2: The Second Workshop on AI Verification in the Wild @ ICLR'26 %D 2026 %K autoformalization from:n.wilbert %T Autoformalizing Memory Device Specifications with Agents

@inproceedings{ernst2026autoformalizing, added-at = {2026-03-03T10:36:03.000+0100}, author = {Ernst, Jan Ole and Saberi, Dmitri and Zimmermann, Thomas and Christ, Derek and Salegame, Rajath and Bhat, Suhaas and Levental, Stanislav and Ahle, Thomas and Jung, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2c767aa76daf162cb5b3b804562ad815f/ce_uniwue}, booktitle = {VerifAI-2: The Second Workshop on AI Verification in the Wild @ ICLR'26}, eventdate = {April 26, 2026}, eventtitle = {VerifAI-2: The Second Workshop on AI Verification in the Wild @ ICLR'26}, interhash = {4ad96ac75a34c09d42067df238f99f24}, intrahash = {c767aa76daf162cb5b3b804562ad815f}, keywords = {autoformalization from:n.wilbert}, timestamp = {2026-03-03T10:36:03.000+0100}, title = {Autoformalizing Memory Device Specifications with Agents}, venue = {Rio de Janeiro, Brazil}, year = 2026 }