TY  - RPRT
TI  - Language Model as Planner and Formalizer under Constraints
AU  - Cassie Huang
AU  - Stuti Mohan
AU  - Ziyi Yang
AU  - Stefanie Tellex
AU  - Li Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2510.05486
ID  - 2510.05486
ER  -