CIT-CAD：基于约束意图树的 CAD 代码生成和验证

自然语言计算机辅助设计 (CAD) 代码生成旨在将设计意图转化为可执行和可编辑的参数化程序。大型语言模型 (LLM) 使这一目标变得越来越实用，但有用的系统必须保留渲染几何图形背后的构造过程。现有的基准和方法主要关注生成的 CAD 模型与参考几何图形的匹配程度，通常使用交并集 (IoU) 等指标。此类度量可能会遗漏零件分解、构造层次结构、布尔运算、草图结构和几何关系中的错误。这一差距需要一种表达方式，使设计意图变得明确，并让系统根据该意图检查生成的代码。我们提出了 CIT-CAD，这是一个从输入描述中推断出约束意图树 (CIT) 的框架，以表示预期的实体、层次结构、操作和关系。该树有两个作用：指导 CAD 代码生成并定义验证的预期约束。该框架从生成的程序中提取实际约束，将它们与预期约束进行比较，并使用不匹配来定位和修复设计违规。实验表明，该框架提高了 CAD 生成性能，对于更复杂的多实体设计有更大的收益。通过将设计意图转变为明确且可检查的对象，这项工作首次尝试将文本到 CAD 生成从渲染几何匹配转向构造感知合成、验证和修复。