@article{neurosymbolicreasoningforplanning,
  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},
  eprint = {2309.16436},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2309.16436v1},
}