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

Shunkai Zhang

  1. MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
    2026/06/11 by Jiacheng Chen, Xinyu Zhang, Shunkai Zhang +20 · 14 voices · 1 citation
    #cs.LG #cs.AI #cs.CL