Research author

Jiayuan Song

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

Papers by Jiayuan 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
Jiayuan Song — AI Research Papers | One9Founders