Interactive Clarification for Cloud Infrastructure-as-Code Synthesis

arXiv:2604.02382 · cs.SE, cs.AI · Submitted 2026-04-01 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-04-01

Updated: 2026-08-29

Comments: Project homepage: https://zyang37.github.io/ambig-iac.github.io/

Project page: https://zyang37.github.io/ambig-iac.github.io

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Consistency — 10× in this paper · explained in 3 episodes
• Self-consistency — 9× in this paper · explained in 2 episodes
• Benchmark — 8× in this paper · explained in 2 episodes
• AI Agents — 5× in this paper · explained in 2 episodes
• Graph Edit Distance — 5× in this paper
• Ablation — 4× in this paper · explained in 1 episode
• Fine-Tuning — 4× in this paper · explained in 5 episodes
• Abstraction — 3× in this paper · explained in 1 episode
• Alignment — 3× in this paper · explained in 1 episode
• Pruning — 3× in this paper · explained in 4 episodes
• Cosine Similarity — 2× in this paper · explained in 3 episodes
• Large Language Models (LLMs) — 2× in this paper · explained in 6 episodes
• Transformer — 2× in this paper · explained in 2 episodes
• Ablation Studies — 1× in this paper · explained in 1 episode
• Agentic System — 1× in this paper · explained in 2 episodes
• Benchmarking — 1× in this paper · explained in 3 episodes
• Computational overhead — 1× in this paper · explained in 2 episodes
• Graph Construction — 1× in this paper · explained in 3 episodes
• Information Gain — 1× in this paper · explained in 2 episodes
• Iterative Refinement — 1× in this paper · explained in 3 episodes
• LLM judge — 1× in this paper · explained in 2 episodes
• RAG — 1× in this paper · explained in 3 episodes
• Retrieval-Augmented Generation (RAG) — 1× in this paper · explained in 16 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Semantic Alignment — 1× in this paper · explained in 3 episodes
• Text-to-SQL — 1× in this paper · explained in 3 episodes

Sources

• Multi-IaC-Eval: Benchmarking Cloud Infrastructure as Code Across Multiple Formats
• AmbiSQL: Interactive Ambiguity Detection and Resolution for Text-to-SQL
• Active Task Disambiguation with LLMs
• Interactive Code Generation via Test-Driven User-Intent Formalization
• A Survey of using Large Language Models for Generating Infrastructure as Code
• Ambig-SWE: Interactive Agents to Overcome Underspecificity in Software Engineering
• Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
• TOM-SWE: User Mental Modeling For Software Engineering Agents

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties