No reviews yet. Be the first to rate Haocheng!
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 Sunny Ng on Unsplash
Photo by Sunny Ng on Unsplash
Photo by Shiromani Kant on Unsplash
Photo by Robert Bye on Unsplash
Photo by Trust "Tru" Katsande on Unsplash
Photo by Alice Yamamura on Unsplash
Photo by Vlad Kutepov on Unsplash
Have a story or a research paper to share? Become an Expert Academic Contributor and publish your work on AcademicJobs.com.
Write news and research articles as a expert academic in your field publish your work on AcademicJobs.com
