Publications

Mitigating hallucinations and omissions in LLMs for invertible problems: An application to hardware logic design automation