TY  - RPRT
TI  - KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
AU  - Jiyao Zhang
AU  - Chengli Zhong
AU  - Hui Xu
AU  - Qige Li
AU  - Yi Zhou
PY  - 2025
UR  - https://arxiv.org/abs/2507.08665
ID  - 2507.08665
ER  -