APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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