@inproceedings{drexler-et-al-icaps2026wsripl,
  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    = {ICAPS 2026 Workshop on Reliability In Planning and Learning (RIPL)},
  year         = 2026,
}