arXiv:2502.09819v1 宣告类型：交叉 摘要：大规模语言模型（LLMs）在解决各种结构化和非结构化生成任务方面取得了巨大成功，但在计算机辅助设计（CAD）中生成过程几何图形方面却遇到困难。这些困难源于它们无法进行空间推理，以及需要通过复杂的长距离规划来生成复杂几何图形的必要性。我们通过引入一种称为AIDL的解算器辅助、分层领域专用语言（DSL），使生成性CAD设计成为可能，从而将空间推理要求转移到几何约束解算器上。此外，我们还展示了在少量示例模式下，AIDL在生成更接近提示的视觉结果以及创建更易于后期处理和推理的对象方面甚至优于带训练数据的语言（OpenSCAD）。