TY  - RPRT
TI  - Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
AU  - Aaron Councilman
AU  - David Jiahao Fu
AU  - Aryan Gupta
AU  - Chengxiao Wang
AU  - David Grove
AU  - Yu-Xiong Wang
AU  - Vikram Adve
PY  - 2025
UR  - https://arxiv.org/abs/2507.13290
ID  - 2507.13290
ER  -