提出Text2Model(一套基于多种LLM策略的建模协作者)和Text2Zinc(首个统一涵盖满意度与优化问题的跨领域自然语言到形式模型数据集),利用MiniZinc实现求解器无关建模,通过零样本提示、思维链、知识图谱、语法编码和智能体方法等策略提升文本到约束模型的翻译能力,并开源配套工具链与在线排行榜。
机构:Brown University
来源:arXiv 2604.12955 | AI4Papers 论文推荐平台
AI4Papers 是一个以每日 arXiv 论文发现为入口的 AI 科研工作流平台,帮助研究者用最短时间掌握最新 AI/ML 前沿动态。
核心功能完全免费。高级 AI 功能(对比分析、深度研究、灵感工作台)支持自带兼容 API Key(如 OpenAI、通义千问)无限使用。
免费注册 | 使用教程