APA (7th ed.) Citation

Wang, M., Wang, J., & Cheng, X. (2025). BALI: Branch-Aware Loop Invariant Inference with Large Language Models.

Chicago Style (17th ed.) Citation

Wang, Mingxiu, Jiawei Wang, and Xiao Cheng. BALI: Branch-Aware Loop Invariant Inference with Large Language Models. 2025.

MLA (9th ed.) Citation

Wang, Mingxiu, et al. BALI: Branch-Aware Loop Invariant Inference with Large Language Models. 2025.