Research author
Jingyang Li
2 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Jingyang Li
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
Apr 23, 2026
cs.AI
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
Jingyang Li, Xin Chen, Hongfei Fu, et al.