KALE-LM: Unleash The Power Of AI For Science Via Knowledge And Logic Enhanced Large Model. - Weichen Dai 002; Yezeng Chen; Zijie Dai; Zhijie Huang; Yubo Liu; Yixuan Pan; Baiyang Song; Chengli Zhong; Xinhe Li; Zeyu Wang; Zhuoying Feng; Yi Zhou (CoRR, 2024)

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