Chung, J., Lin, H., Jiang, L., Tang, S., & Jin, C. (2026). Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover.
Chicago-Zitierstil (17. Ausg.)Chung, Jui-Hui, Hongzhou Lin, Lai Jiang, Shange Tang, und Chi Jin. Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover. 2026.
MLA-Zitierstil (9. Ausg.)Chung, Jui-Hui, et al. Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.