@inproceedings{pattnayak-2026-llm, title = "When {LLM} Plans Fail: Solver-Verified Remediation Under Operational Constraints", author = "Pattnayak, Priyaranjan", editor = "Atanasova, Pepa and Haffari, Gholamreza and Wang, Minghan", booktitle = "Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing: Industry Track", month = oct, year = "2026", address = "Budapest, Hungary", publisher = "Association for Computational Linguistics", url = "https://aclanthology.org/2026.emnlp-industry.146/", pages = "2453--2472", ISBN = "979-8-89176-460-6" }