Open source tools for software engineering teams using AI

Towards formal verification of LLM-generated code from natural language prompts

Aaron Councilman and David Jiahao Fu and Aryan Gupta and Chengxiao Wang and David Grove and Yu-Xiong Wang and Vikram Adve misc 2025 Source: z-spec

View original ↗

Note

Formal query language as contract layer for LLM-generated Ansible code; verifier achieves 83% confirmation of correct code and 92% identification of incorrect code.

Citation Key

councilman2025astrogator