Haocheng Ju

Identifiers

• name variant Haocheng Ju 0.60 · backfill

Papers (3)

1. Matlas: A Semantic Search Engine for Mathematics cs.IR · 2026 · author #1
2. Automated Conjecture Resolution with Formal Verification cs.LG · 2026 · author #1
3. AI for Mathematics: Progress, Challenges, and Prospects math.HO · 2026 · author #1

Mentions

• 2604.03789 #1 · arxiv_oai · confidence 0.70 Haocheng Ju

Frequent Coauthors

• Bin Dong 3 shared papers
• Bryan Dai 2 shared papers
• Leheng Chen 2 shared papers
• Peihao Wu 2 shared papers
• Bin Wu 1 shared papers
• Guoxiong Gao 1 shared papers
• Jiedong Jiang 1 shared papers
• Liang Xiao 1 shared papers
• Ruochuan Liu 1 shared papers
• Shurui Liu 1 shared papers
• Wanyi He 1 shared papers
• Yuefeng Wang 1 shared papers
• Yutong Wang 1 shared papers
• Zeming Sun 1 shared papers
• Zichen Wang 1 shared papers