TY  - RPRT
TI  - Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
AU  - Sumit Kumar Jha
AU  - Susmit Jha
AU  - Patrick Lincoln
AU  - Nathaniel D. Bastian
AU  - Alvaro Velasquez
AU  - Rickard Ewetz
AU  - Sandeep Neema
PY  - 2023
UR  - https://arxiv.org/abs/2309.16436
ID  - 2309.16436
ER  -