基于求解器辅助的层次化语言用于LLM驱动的CAD设计

本研究解决了大型语言模型（LLMs）在计算机辅助设计（CAD）中生成程序几何体的困难，主要在于缺乏空间推理能力和复杂规划指导。通过引入一种名为AIDL的求解器辅助层次化领域特定语言（DSL），本研究将空间推理的需求转移给几何约束求解器，实验证明在少量样本情况下，AIDL在生成的视觉结果和后处理对象的可推理性上均优于训练数据集切实存在的语言（如OpenSCAD）。