Chakraborty, S., Lahiri, S. K., Fakhoury, S., Musuvathi, M., Lal, A., Rastogi, A., . . . Swamy, N. (2023). Ranking LLM-Generated Loop Invariants for Program Verification.
Style de citation Chicago (17e éd.)Chakraborty, Saikat, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, et Nikhil Swamy. Ranking LLM-Generated Loop Invariants for Program Verification. 2023.
Style de citation MLA (9e éd.)Chakraborty, Saikat, et al. Ranking LLM-Generated Loop Invariants for Program Verification. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.