Research author
Shizhe Diao
3 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Shizhe Diao
Jun 17, 2026
cs.LG
Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation
Ruida Wang, Rui Pan, Pengcheng Wang, et al.
Jun 16, 2026
cs.CL
Zone of Proximal Policy Optimization: Teacher in Prompts, Not Gradients
Byung-Kwan Lee, Ximing Lu, Shizhe Diao, et al.
43
Apr 28, 2026
cs.AI
Recursive Multi-Agent Systems
Xiyuan Yang, Jiaru Zou, Rui Pan, et al.
144