Research author

Chi Jin

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

Papers by Chi Jin

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.

Chi Jin — AI Research Papers | One9Founders