AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints

“准确表述受限情境中的过程，例如非标准化科学实验，需要精确描绘约束条件。然而，领域特定语言（DSL）作为一种有效的结构化表达约束条件的工具，通常需要逐个手工定制，需要定制化的、劳动密集型的工作。为了克服这个挑战，我们引入了AutoDSL框架，以自动化DSL-based约束设计跨多个领域。利用特定领域的实验协议语料库，AutoDSL优化语法约束并抽象语义约束。对AutoDSL设计的DSL进行的五个不同领域的定量和定性分析突显了其作为语言模型辅助模块的潜力，旨在改善过程规划和执行。”

AutoDSL框架旨在解决DSL在非标准化科学实验中需要手动制定的问题，提高实验约束的自动化程度。

AutoDSL使用领域特定的实验协议语料库来优化语法约束并抽象语义约束，从而自动化DSL的设计。

AutoDSL框架在五个不同领域的DSL设计中表现出良好的性能，可以作为语言模型的辅助模块，有望提高实验规划和执行的准确性。

在相关研究中，也有一些尝试使用自动化方法来生成DSL的工作，如DeepCoder和Neuro-Symbolic Program Synthesis等。