Haocheng Ju

According to our database, Haocheng Ju authored at least 9 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Matlas: A Semantic Search Engine for Mathematics.

Haocheng Ju, Leheng Chen, Peihao Wu, Bryan Dai, Bin Dong

CoRR, April, 2026

Automated Conjecture Resolution with Formal Verification.

Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong

CoRR, April, 2026

2025

Connected Theorems: A Graph-Based Approach to Evaluating Mathematical Results.

Haocheng Ju, Tianyi Xu, Bin Dong

CoRR, August, 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, Bryan Dai, Bin Dong

CoRR, May, 2025

MIRB: Mathematical Information Retrieval Benchmark.

Haocheng Ju, Bin Dong

CoRR, May, 2025

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

Signal Process., 2024

A Semantic Search Engine for Mathlib4.

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, Bin Dong

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

2023

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

CoRR, 2023

2020

CURE: Curvature Regularization for Missing Data Recovery.

Bin Dong, Haocheng Ju, Yiping Lu, Zuoqiang Shi

SIAM J. Imaging Sci., 2020