Research author
Weiming Zhang
3 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Weiming Zhang
Oct 29, 2026
cs.CL
Scaling Mathematical Proof Supervision from Structured Textbooks
Youqing Fang, Zhouqi Hua, Yinhao Tang, et al.
Aug 24, 2026
cs.AI
Is Next-Chunk Reasoning RL Really Better than SFT? Revisiting Training Strategies under no-CoT Data
Yinhao Tang, Youqing Fang, Yanan Sun, et al.
21
Aug 14, 2026
cs.AI
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
Lushi Pu, Weiming Zhang, Xinheng Xie, et al.
7