3 papers
cs.AI2026
CURA: Certified Runtime Alarms for Computer-Use Agents
Divake Kumar, Sina Tayebati, Devashri Naik +5
Self-report is the cheapest oversight channel a deployer has, and on capable computer-use agents (CUAs) it fails precisely where oversight matters. On 361 OSWorld tasks our pipelin…
eess.SY2026
From Generation to Discovery: Diffusion Mutation Kernels for Circuit and Physical Design
Dinithi Jayasuriya, Aravind Saravanan, Nilesh Ahuja +2
Generation and discovery are different problems. A generative model trained on valid artifacts reproduces a distribution, whereas discovery must produce artifacts that lie outside…
cs.SE2026
Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
Dinithi Jayasuriya, Aravind Saravanan, Nilesh Ahuja +2
Large language models (LLMs) have enabled natural-language-driven automation of electronic design automation (EDA) workflows, but reliable execution of generated scripts remains a…