@misc{indiciaea1691c1536c2,
  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 = {2026},
  url = {https://arxiv.org/abs/2510.05486},
  note = {Source identifier: 2510.05486}
}