High-Misalignment-Tolerant IPT Systems With Solenoid and Double D Pads. - Jianwei Mai; Yijie Wang 002; Yousu Yao; Mengzhou Sun; Dianguo Xu 001 (IEEE Trans. Ind. Electron., 2022)

Proving Olympiad Algebraic Inequalities without Human Demonstrations. - Chenrui Wei; Mengzhou Sun; Wei Wang (NeurIPS, 2024)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning. - Ziju Shen; Naohao Huang; Fanyi Yang; Yutong Wang; Guoxiong Gao; Tianyi Xu; Jiedong Jiang; Wanyi He; Pu Yang; Mengzhou Sun; Haocheng Ju; Peihao Wu; et al. (CoRR, 2025)