Research author
Yan Xu
2 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Yan Xu
Aug 6, 2026
cs.AI
EnvACE: Internalizing Environment Dynamics via World Rehearsal for Agentic Reinforcement Learning
Zishan Xu, Zhiyuan Yao, Yuxin Chen, et al.
38
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.