TY  - RPRT
TI  - Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover
AU  - Jui-Hui Chung
AU  - Hongzhou Lin
AU  - Lai Jiang
AU  - Shange Tang
AU  - Chi Jin
PY  - 2026
UR  - https://arxiv.org/abs/2604.08388
ID  - 2604.08388
ER  -