Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
