跳到正文
arXiv cs.AI· Wenqian Zhang, Yangyi Huang, Weiyang Liu, Zhen Liu·· 3 天前AI 评分30

用 LLM 做程序合成:BesiegeField 基准测试组合式机械设计

Compositional Machine Design as Program Synthesis with LLMs

AI 导读

研究者提出"组合式机械设计",将机器写成组合标准化部件的程序,并以模拟物理行为判定成败,同时发布基于游戏 Besiege 的测试平台 BesiegeField。在单智能体生成、迭代编辑和分层工作流下,强模型能恢复任务相关结构,但在空间精确装配与机制级规划上仍吃力。团队用模拟奖励对开源模型 Qwen2.5-14B 做强化学习微调,固定生成预算下最佳机器得到改善。

正文 · AI 翻译

查看 PDF HTML(实验性)

摘要:大型语言模型(LLM)在编写和修改程序方面展现出强大能力,但许多程序合成基准仍在符号或数字环境中评估程序。我们提出组合式机械设计,这是一种具有物理基础的程序合成形式,其中机器被编写为组合标准化部件的程序,成功与否由模拟的物理行为决定。为研究这一问题,我们提出 BesiegeField,一个基于机械建造游戏 Besiege 构建的测试平台。在 BesiegeField 中,LLM 智能体根据文本功能需求生成机器程序,在模拟中执行所得机器,并接收奖励和状态反馈。我们在单智能体生成、迭代编辑和分层工作流下,对 LLM 智能体在代表性机械设计任务上进行基准测试。强大的模型能够恢复与任务相关的结构,有时还能实现非平凡的物理性能,但往往在空间精确装配、机构级规划以及将反馈转化为有用结构编辑方面遇到困难。我们进一步对开源 LLM Qwen2.5-14B 进行微调,使用来自模拟奖励的强化学习。我们发现,在固定生成预算下,RL 改进了所发现的最佳机器。我们还评估了人类表现,为任务难度提供参考点。这些结果确立了组合式机械设计作为一个测试平台,用于研究能够合成可执行机器程序并通过物理反馈改进它们的 LLM 智能体。
评论: 75 页,44 幅图,项目页面:this https URL,已被 EMNLP 2026 主会议接收(Oral)
主题: 人工智能(cs.AI);计算与语言(cs.CL);计算机视觉与模式识别(cs.CV);图形学(cs.GR);机器学习(cs.LG)
引用为: arXiv:2510.14980 [cs.AI]
  (或 arXiv:2510.14980v4 [cs.AI] 对应此版本)
  https://doi.org/10.48550/arXiv.2510.14980

arXiv 颁发的 DOI 通过 DataCite

提交历史

来自:Zhen Liu [查看邮箱]
[v1] 2025 年 10 月 16 日星期四 17:59:58 UTC(27,792 KB)
[v2] 2025 年 10 月 19 日星期日 05:35:03 UTC(23,882 KB)
[v3] 2026 年 9 月 1 日星期二 06:03:40 UTC(27,235 KB)
[v4] 2026 年 10 月 11 日星期日 15:51:38 UTC(27,234 KB)

来源:arXiv cs.AI · arxiv.org