Research author

Yihan Xu

3 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Yihan Xu

Oct 15, 2026
cs.LG

Lean Graph Search for Formal Theorem Proving

Yihan Xu, Jia-Chen Gu, Junyi Zhang, et al.

Sep 15, 2026
cs.AI

LimiX-2: A Contextual Mechanism Network Towards General Structured-Data Intelligence

Xingxuan Zhang, Gang Ren, Hao Yuan, et al.

418
Jun 17, 2026
cs.AI

Beyond Safe Data: Pretraining-Stage Alignment with Regular Safety Reflection

Jinhan Li, Kexian Tang, Yihan Xu, et al.

Yihan Xu — AI Research Papers | One9Founders