TY  - RPRT
TI  - Language Models as Higher-Order Planning Formalizers
AU  - Owen Jiang
AU  - Cassie Huang
AU  - Ashish Sabharwal
AU  - Li Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2603.23844
ID  - 2603.23844
ER  -