TY  - RPRT
TI  - Joint Verification and Refinement of Language Models for Safety-Constrained Planning
AU  - Yunhao Yang
AU  - Neel P. Bhatt
AU  - William Ward
AU  - Zichao Hu
AU  - Joydeep Biswas
AU  - Ufuk Topcu
PY  - 2025
UR  - https://arxiv.org/abs/2410.14865
ID  - 2410.14865
ER  -