@misc{pereira-et-al-arxiv2026,
  author       = {Andr{\'e} G. Pereira and Augusto B. Corr{\^e}a and Jendrik Seipp},
  title        = {Property-Guided {LLM} Program Synthesis for Planning},
  howpublished = {arXiv:2605.16142 [cs.AI]},
  year         = 2026,
}