Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving Preprint

cited authors

  • Jha, Sumit Kumar; Jha, Susmit; Lincoln, Patrick; Bastian, Nathaniel D; Velasquez, Alvaro; Ewetz, Rickard; Neema, Sandeep

authors

publication date

  • September 28, 2023

webpage

keywords

  • cs.AI
  • cs.LO