@article{languagemodelasplannerandformalizerunder,
  title = {Language Model as Planner and Formalizer under Constraints},
  author = {Cassie Huang and Stuti Mohan and Ziyi Yang and Stefanie Tellex and Li Zhang},
  year = {2025},
  eprint = {2510.05486},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.05486},
}