TY - RPRT TI - Verifier-First Evaluation of Agentic LLMs for Infrastructure-as-Code Generation AU - Mohamed Jouini PY - 2026 UR - https://arxiv.org/abs/2607.20478 ID - 2607.20478 ER -