Sumit Kumar Jha 0001, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema. Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. In IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023. pages 944-949, IEEE, 2023. [doi]
Abstract is missing.