vix.ing · top · new · best · stats · spec

Jinming Gu

  1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
    2025/07/31 by Luoxin Chen, Chen, Luoxin, Jinming Gu +69 · 2 voices · 33 citations
    #cs.AI #cs.CL