提出Text2Model(一套基于多种LLM策略的建模协作者)和Text2Zinc(首个统一涵盖满意度与优化问题的跨领域自然语言到形式模型数据集),利用MiniZinc实现求解器无关建模,通过零样本提示、思维链、知识图谱、语法编码和智能体方法等策略提升文本到约束模型的翻译能力,并开源配套工具链与在线排行榜。
机构:Brown University
来源:arXiv 2604.12955 | AI4Papers 论文推荐平台