Research author

Lai Jiang

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

Papers by Lai Jiang

Apr 9, 2026
cs.AI

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover

Jui-Hui Chung, Hongzhou Lin, Lai Jiang, et al.

Lai Jiang — AI Research Papers | One9Founders