Verifier-First Evaluation of Agentic LLMs for Infrastructure-as-Code Generation

arXiv 2607.20478•27383a188a59f848354f320ea4cd753658575f0288c120e282f5202ba159d856
API-dependenciesGenAIIaC-misconfigurationInfrastructure-as-CodeLLMOPAPetri-netRegoRustSSDLCTerraformcode-generationconcurrency-testingdigital-twinsedge-to-cloudexecution-validationfine-tuning-auditmodel-deployment-mismatchpolicy-evaluationprivacysandboxingsecure-software-developmentsoftware-maintenancesupply-chain-dependenciestest-generation

Paper metadata

arXiv ID
2607.20478
Version
Not specified by this published record
Category
Computer Science — Software Engineering (cs.SE)

The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.

Evidence and limitations

Source ID
arxiv_cs_se
Record identifier
27383a188a59f848354f320ea4cd753658575f0288c120e282f5202ba159d856
Enrichment time
2026-07-24T08:51:53Z
AI-assisted enrichment
Yes

This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.