  Accurate representation of procedures in restricted scenarios, such as
non-standardized scientific experiments, requires precise depiction of
constraints. Unfortunately, Domain-specific Language (DSL), as an effective
tool to express constraints structurally, often requires case-by-case
hand-crafting, necessitating customized, labor-intensive efforts. To overcome
this challenge, we introduce the AutoDSL framework to automate DSL-based
constraint design across various domains. Utilizing domain specified
experimental protocol corpora, AutoDSL optimizes syntactic constraints and
abstracts semantic constraints. Quantitative and qualitative analyses of the
DSLs designed by AutoDSL across five distinct domains highlight its potential
as an auxiliary module for language models, aiming to improve procedural
planning and execution.
