Edward Wang, Joe Walston, Luca Daniel, Tony Tan, Yoni Zohar, Clark W. Barrett. Artificial Incorrectness: SMT and LLMs in Hardware Synthesis. In Jyotirmoy V. Deshmukh, Klaus Havelund, Alessandro Pinto, editors, NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings. Volume 16622 of Lecture Notes in Computer Science, pages 261-284, Springer, 2026. [doi]
Abstract is missing.