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

arXiv: https://arxiv.org/abs/2406.12324 · HTML: https://mlsanity.com/paper/2406.12324/

## Key facts

- Cited by 6 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 18 Jun 2024.

## Built on by (most cited first, 6 of 6)

- [Hierarchically Encapsulated Representation for Protocol Design in Self-Driving Labs](https://mlsanity.com/paper/2504.03810/) (2025)
- [Targeted control of fast prototyping through domain-specific interface](https://mlsanity.com/paper/2506.11070/) (2025)
- [Automated Constraint Specification for Job Scheduling by Regulating Generative Model with Domain-Specific Representation](https://mlsanity.com/paper/2510.02679/) (2025)
- [BioPIE: A Biomedical Protocol Information Extraction Dataset for Experiment Understanding](https://mlsanity.com/paper/2601.04524/) (2026)
- [LabBuilder: Protocol-Grounded 3D Layout Generation for Interactable and Safe Laboratory](https://mlsanity.com/paper/2605.02288/) (2026)
- [Bridging Auxiliary Constraints to Resolve Instruction Following in Large Reasoning Models](https://mlsanity.com/paper/2606.03624/) (2026)

## Abstract (arXiv)

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.