abstract
- Introduces SANA, a language-model-assisted pipeline that derives executable contracts from descriptions of scientific workflows. Implemented for Nextflow, it combines code generation with validation and repair to help developers specify task requirements and guarantees. Experiments with workflow modules examine prompting choices, repair stages and differences between models, demonstrating the potential to reduce manual contract-writing effort.