Solving Formal Math Problems by Decomposition and Iterative Reflection
机构 * University of science and technology of China(科学技术大学) ; Peking University(北京大学)
专题命中 记忆与上下文管理 :agent(abstract);agentic(abstract);分类 cs.AI、cs.LG
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
机构 * University of science and technology of China(科学技术大学) ; Peking University(北京大学)
专题命中 记忆与上下文管理 :agent(abstract);agentic(abstract);分类 cs.AI、cs.LG