CURE: Curvature Regularization for Missing Data Recovery. - Bin Dong 001; Haocheng Ju; Yiping Lu 001; Zuoqiang Shi (SIAM J. Imaging Sci., 2020)

A Comparative Study of Deep Learning and Iterative Algorithms for Joint Channel Estimation and Signal Detection. - Haocheng Ju; Haimiao Zhang; Lin Li; Xiao Li; Bin Dong 001 (CoRR, 2023)

A Semantic Search Engine for Mathlib4. - Guoxiong Gao; Haocheng Ju; Jiedong Jiang; Zihan Qin; Bin Dong 001 (EMNLP (Findings), 2024)

A comparative study of deep learning and iterative algorithms for joint channel estimation and signal detection in OFDM systems. - Haocheng Ju; Haimiao Zhang; Lin Li; Xiao Li; Bin Dong 001 (Signal Process., 2024)

MIRB: Mathematical Information Retrieval Benchmark. - Haocheng Ju; Bin Dong (CoRR, 2025)

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)