摘要
本文提出一种结合语言模型与数值优化器的模块化架构，用于机械连杆设计。通过符号提升算子将仿真轨迹转化为定性描述与结构诊断，使模型能在迭代循环中解释并修正设计。实验表明，该系统在无需微调的情况下，显著降低几何误差并提升结构有效性，能准确诊断过约束与欠约束故障。研究证明， principled 符号抽象有效桥接了生成式 AI 与工程设计所需的数值精度，赋予模型可解释的机械推理能力。
AI 推荐理由
论文核心在于通过符号反射实现机械推理，诊断约束失败并提出修正策略。
研究机构
Idiap Research Institute, Switzerland
École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Honda Research Institute Europe, Germany
Department of Computer Science, University of Manchester, UK
National Biomarker Centre, CRUK-MI, University of Manchester, UK
论文信息