标签
MorphoHDL 是一种用于设计和生长电路的极简领域特定语言，提供简单的语法来描述硬件。
Forethought 是一种神经符号推理系统，它将推理视为由符号与神经基元组合成的显式、可验证的程序。该系统可将基础模型准确率相对提升约 30%，使小模型在保持模型无关性与可审计性的同时，达到甚至超越前沿模型。
VeryTrace 是一种零样本验证与修复框架，它将大语言模型的推理轨迹通过领域特定语言形式化为可编译表示，从而通过确定性检查与大语言模型审计的混合方式实现步骤级错误定位。该框架在数学、机器人学和关系推理等多个领域提升了准确性，且无需领域特定训练。
PromptMN是一种领域特定语言，通过向自然语言提示中添加类型化指令来减少歧义。该语言在前沿模型上进行了评估，证明了其在实现更清晰的人机交互方面的可行性。
本文以 SCSS（一种基于 Scheme 的 CSS 预处理器）为例，探讨 Lispy 领域特定语言的设计。讨论了 SCSS 如何将 CSS 表示为一等值及其实现的局限性。
作者详细介绍了为非技术分析师设计一种自定义查询语言的过程，用于过滤车辆维护数据，并概述了用户需求、数据模式以及具体用例。