Councilman, A., Fu, D. J., Gupta, A., Wang, C., Grove, D., Wang, Y., & Adve, V. (2025). Towards Formal Verification of LLM-Generated Code from Natural Language Prompts.
Style de citation Chicago (17e éd.)Councilman, Aaron, David Jiahao Fu, Aryan Gupta, Chengxiao Wang, David Grove, Yu-Xiong Wang, et Vikram Adve. Towards Formal Verification of LLM-Generated Code from Natural Language Prompts. 2025.
Style de citation MLA (9e éd.)Councilman, Aaron, et al. Towards Formal Verification of LLM-Generated Code from Natural Language Prompts. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.