Research author

Pengyu Zhao

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Pengyu Zhao

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
Jun 11, 2026
cs.AI

MiniMax Sparse Attention

Xunhao Lai, Weiqi Xu, Yufeng Yang, et al.

125
Pengyu Zhao — AI Research Papers | One9Founders