标签
本文介绍了aDSL，一种协同设计的领域特定语言和多代理系统，通过关系运算符和迭代反馈改进大语言模型驱动的3D程序合成，增强3D内容创建的鲁棒性和可控性。
AutoPrune是一个无需训练的框架，利用大语言模型（LLMs）通过领域特定语言和残差搜索自动为多模态大语言模型设计视觉令牌剪枝策略，以极小的性能损失实现高效率（在移除94.4%视觉令牌的同时保留99%的性能）。
本文介绍了 ADSL-PDE，一种领域特定语言，为神经 PDE 求解器的自动设计提供结构化搜索空间，通过抽象底层实现细节来提高搜索效率和优化稳定性。基于该表示构建的进化代理在 PDE 基准测试的前十次迭代中实现了超过 52% 的性能提升。
PULSE is a new executable contract language for spatiotemporal knowledge graph engineering, providing a typed runtime with role-based write effects, safety properties verified in Lean 4, and trace parity across large datasets.
MorphoHDL 是一种用于设计和生长电路的极简领域特定语言，提供简单的语法来描述硬件。
Forethought 是一种神经符号推理系统，它将推理视为由符号与神经基元组合成的显式、可验证的程序。该系统可将基础模型准确率相对提升约 30%，使小模型在保持模型无关性与可审计性的同时，达到甚至超越前沿模型。
VeryTrace 是一种零样本验证与修复框架，它将大语言模型的推理轨迹通过领域特定语言形式化为可编译表示，从而通过确定性检查与大语言模型审计的混合方式实现步骤级错误定位。该框架在数学、机器人学和关系推理等多个领域提升了准确性，且无需领域特定训练。
PromptMN是一种领域特定语言，通过向自然语言提示中添加类型化指令来减少歧义。该语言在前沿模型上进行了评估，证明了其在实现更清晰的人机交互方面的可行性。
本文以 SCSS（一种基于 Scheme 的 CSS 预处理器）为例，探讨 Lispy 领域特定语言的设计。讨论了 SCSS 如何将 CSS 表示为一等值及其实现的局限性。
作者详细介绍了为非技术分析师设计一种自定义查询语言的过程，用于过滤车辆维护数据，并概述了用户需求、数据模式以及具体用例。