Zhang, J., Zhong, C., Xu, H., Li, Q., & Zhou, Y. (2025). KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment.
Citazione stile Chigago Style (17a edizione)Zhang, Jiyao, Chengli Zhong, Hui Xu, Qige Li, e Yi Zhou. KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment. 2025.
Citatione MLA (9a ed.)Zhang, Jiyao, et al. KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.