Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation. - Andrew S. Cassidy; Guillaume Garreau; Jay Sivagnaname; Mike Grassi; Bernard Brezzo; John V. Arthur; Dharmendra S. Modha (CoRR, 2025)