@inproceedings{DrexlerRIPL26,
  author      = {Dominik Drexler and Markus Fritzsche and Farid Musayev and Simon St{\aa}hlberg},
  title       = {Prompt, Prove, Patch: The Neuro-Symbolic Loop for General Policy Synthesis},
  booktitle   = {Proceedings of the ICAPS Workshop on Reliability In Planning and Learning (RIPL)},
  year        = {2026}
}