APA (7th ed.) Citation

Li, T., Yan, Z., Liu, J., Di, P., & Zhang, X. (2026). Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors.

Chicago Style (17th ed.) Citation

Li, Tianchi, Zhenyu Yan, Junhao Liu, Peng Di, and Xin Zhang. Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors. 2026.

MLA (9th ed.) Citation

Li, Tianchi, et al. Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors. 2026.