arXiv ID:
2605.02765
arXiv 提交日期: 2026-05-04
U-Define:设计面向大语言模型规划中硬约束与软约束的用户工作流 / U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning
1️⃣ 一句话总结
本文提出U-Define系统,让用户用自然语言定义两种约束——必须遵守的‘硬约束’和可灵活调整的‘软约束’,并通过不同验证方法(硬约束用形式化模型检查,软约束用大语言模型评判)来提升大语言模型生成计划的可控性和可靠性,实验表明该方法比传统单一硬约束更有效、更易用。