@misc{indiciaee612f442ab84, title = {Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation}, author = {Andrew S. Cassidy and Guillaume Garreau and Jay Sivagnaname and Mike Grassi and Bernard Brezzo and John V. Arthur and Dharmendra S. Modha}, year = {2026}, url = {https://arxiv.org/abs/2512.03053}, note = {Source identifier: 2512.03053} }