vix.ing · top · new · best · stats

Leheng Chen

  1. Automated Conjecture Resolution with Formal Verification
    2026/04/04 by Haocheng Ju, Guoxiong Gao, Jiedong Jiang +13 · 2 voices · 5 citations
    Computer Science · #cs.LG #cs.AI
  2. Matlas: A Semantic Search Engine for Mathematics
    2026/04/19 by Haocheng Ju, Leheng Chen, Peihao Wu +2 · 1 voice · 2 citations
    Computer Science · #cs.IR #cs.LG