Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. - Jha, Sumit Kumar; Jha, Susmit; Lincoln, Patrick; Bastian, Nathaniel D.; Velasquez, Alvaro; Ewetz, Rickard; Neema, Sandeep (CoRR, 2023)