Research author

Jiaxuan Xie

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Jiaxuan Xie

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.

Jiaxuan Xie — AI Research Papers | One9Founders