Research author
Lifeng Shang
4 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Lifeng Shang
Aug 27, 2026
cs.AI
What Makes Good Agentic Data? An ACE Lens on Data Generation for LLM Agents
Xingshan Zeng, Zishan Xu, Boju Zhang, et al.
63
May 18, 2026
cs.CL
EnvFactory: Scaling Tool-Use Agents via Executable Environments Synthesis and Robust RL
Minrui Xu, Zilin Wang, Mengyi DENG, et al.
23
Apr 22, 2026
cs.LG
GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning
Jingyi Wang, Lei Zhu, Tengjin Weng, et al.
Apr 17, 2026
cs.AI
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
Chengwu Liu, Yichun Yin, Ye Yuan, et al.