Le-Cong, T., Le, B., & Murray, T. (2025). Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference.
Style de citation Chicago (17e éd.)Le-Cong, Thanh, Bach Le, et Toby Murray. Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference. 2025.
Style de citation MLA (9e éd.)Le-Cong, Thanh, et al. Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.