@misc{indiciae4e1b39515efb,
  title = {KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment},
  author = {Jiyao Zhang and Chengli Zhong and Hui Xu and Qige Li and Yi Zhou},
  year = {2025},
  url = {https://arxiv.org/abs/2507.08665},
  note = {Source identifier: 2507.08665}
}