Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification. - Chengwu Liu 001; Ye Yuan 016; Yichun Yin; Yan Xu; Xin Xu; Zaoyu Chen; Yasheng Wang; Lifeng Shang; Qun Liu 001; Ming Zhang 004 (ACL (1), 2025)

Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving. - Xin Xu; Yan Xu; Tianhao Chen; Yuchen Yan; Chengwu Liu 001; Zaoyu Chen; Yufei Wang 005; Yichun Yin; Yasheng Wang; Lifeng Shang; Qun Liu 001 (CoRR, 2025)

SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair. - Zaoyu Chen; Haoran Qin; Nuo Chen 004; Xiangyu Zhao; Lei Xue 001; Xiapu Luo; Xiao-Ming Wu 003 (CoRR, 2025)