Feedback Makes Perfect: A Closed-Loop Framework for NL-to-STL Translation

作者：Bowen Ye, Xiang Yin · 单位：Shanghai Jiao Tong University, Human collaboration offers a familiar resolution. When a supervisor assigns a task, a capable engi- · 会议/期刊：arXiv preprint · 方向：cs.AI · 发布日期：2026-09-29