Research author

Lei Yu

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

Papers by Lei Yu

May 21, 2026
cs.AI

Advancing Mathematics Research with AI-Driven Formal Proof Search

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, et al.

Apr 28, 2026
cs.AI

OxyGent: Making Multi-Agent Systems Modular, Observable, and Evolvable via Oxy Abstraction

Junxing Hu, Tianlong Li, Lei Yu, et al.

Lei Yu — AI Research Papers | One9Founders