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