Author of the publication

Autoformalizing Memory Device Specifications with Agents

, , , , , , , , and . VerifAI-2: The Second Workshop on AI Verification in the Wild @ ICLR'26, (2026)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reinforcement Learning for Quantum Control under Physical Constraints., , , and . ICML, volume 267 of Proceedings of Machine Learning Research, PMLR / OpenReview.net, (2025)Memory-optimised Cubic Splines for High-fidelity Quantum Operations., , , and . CoRR, (2024)A Formal Description of Communication Protocols Using Petri-Nets, , , , , and . 29th Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV), (2026)Autoformalizing Memory Device Specifications with Agents, , , , , , , , and . VerifAI-2: The Second Workshop on AI Verification in the Wild @ ICLR'26, (2026)