Yanmohan Wang

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
2. Average Local Independence and the Spanning-Tree Leaf Number: A Proof of Graffiti.pc Conjecture 2
   2026/07/27 by Yanmohan Wang, Tianyue Dai, Rui Tong
   #math.CO