No ratings yet
Taught by or worked with Haocheng? Your rating helps other students choose.
Haocheng Ju is a PhD candidate at the School of Mathematical Sciences, Peking University, admitted in 2021 and affiliated with the Beijing International Center for Mathematical Research. His research focuses on AI for mathematics, mathematical information retrieval, and scientific computing.
He has co-authored several papers in these areas, including "AI for Mathematics: Progress, Challenges, and Prospects" (2026), "Automated Conjecture Resolution with Formal Verification" (2026), "Matlas: A Semantic Search Engine for Mathematics" (2026), and "MIRB: Mathematical Information Retrieval Benchmark" (2025). Ju collaborates with researchers such as Bin Dong on projects involving semantic search engines for mathematical libraries and formal verification methods.
Peking University's groundbreaking AI framework autonomously disproves a 2014 math conjecture, formalizing proofs in Lean 4 without human help—advancing China's university-led AI math research.
Photo by Precondo CA on Unsplash
Photo by Brecht Corbeel on Unsplash
Photo by Anne Nygård on Unsplash
Photo by Kelly Sikkema on Unsplash
Photo by Markus Winkler on Unsplash
Photo by Philip Strong on Unsplash
