Cita APA (7a ed.)

Zhang, J., Zhong, C., Xu, H., Li, Q., & Zhou, Y. (2025). KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment.

Cita Chicago Style (17a ed.)

Zhang, Jiyao, Chengli Zhong, Hui Xu, Qige Li, y Yi Zhou. KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment. 2025.

Cita MLA (9a ed.)

Zhang, Jiyao, et al. KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment. 2025.