Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover
唤醒沉睡的代理:轻量级特定代理数据在Goedel证明器中重新激活通用工具使用
机构 * Princeton Language and Intelligence(普林斯顿语言与智能) ; Amazon(亚马逊) ; Department of Computer Science, University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校计算机科学系)
专题命中 工具调用 :agentic(title,abstract);agent(title);tool use(title);tool-use(abstract)
AI总结 研究发现,过度监督微调会抑制基础模型的通用工具使用能力,但通过少量特定领域代理数据可恢复。