@inproceedings{pereira-et-al-neurips2026,
  author       = {Andr{\'e} Grahl Pereira and Augusto B. Corr{\^e}a and Jendrik Seipp},
  title        = {Property-Guided {LLM} Program Synthesis for Planning},
  booktitle    = {Proceedings of the Fortieth Annual Conference on Neural Information
    Processing Systems ({NeurIPS} 2026)},
  year         = 2026,
}