pith. sign in

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