Cita APA (7a ed.)

Sistla, M., Balakrishnan, G., Rondon, P., Cambronero, J., Tufano, M., & Chandra, S. (2025). Towards Verified Code Reasoning by LLMs.

Cita Chicago Style (17a ed.)

Sistla, Meghana, Gogul Balakrishnan, Pat Rondon, José Cambronero, Michele Tufano, y Satish Chandra. Towards Verified Code Reasoning by LLMs. 2025.

Cita MLA (9a ed.)

Sistla, Meghana, et al. Towards Verified Code Reasoning by LLMs. 2025.