Research author

Zijian Song

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Zijian Song

Jun 11, 2026
cs.LG

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

Jiacheng Chen, Xinyu Zhang, Shunkai Zhang, et al.

75
Zijian Song — AI Research Papers | One9Founders