@misc{indiciae6c7f6cea592f,
  title = {Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving},
  author = {Sumit Kumar Jha and Susmit Jha and Patrick Lincoln and Nathaniel D. Bastian and Alvaro Velasquez and Rickard Ewetz and Sandeep Neema},
  year = {2023},
  url = {https://arxiv.org/abs/2309.16436},
  note = {Source identifier: 2309.16436}
}