TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :tool use(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Comments 12 pages, 10 figures, accepted by IEEE Journal of Biomedical and Health Informatics
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Journal ref Inteligencia Artificial, 24(67) (2021), 90-101
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :tool use(abstract);分类 cs.AI、cs.LG
Comments 20 pages, 4 figures, 4 tables
Journal ref Soft Computing 24, 4067-4079 (2020)
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Comments Accepted to ICLR 'A Roadmap to Never-Ending RL' (NERL) 2021 Workshop
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Comments In Proceedings of the 34th National Conference on Artificial Intelligence, AAAI 2020
Journal ref Proceedings of Thirty-fourth AAAI conference on artificial intelligence, 3243-3250 (2020)
专题命中 工具调用 :planning(abstract);分类 cs.AI、cs.LG
Comments 29 pages
专题命中 工具调用 :tool use(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :planning(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Comments 8 pages, 4 figures
专题命中 工具调用 :agent(abstract);分类 cs.CL、cs.LG
专题命中 工具调用 :planning(abstract);分类 cs.AI、cs.LG
Comments 11 pages, 7 figures, 3 tables
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Comments Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21)
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :AI agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :planning(abstract);分类 cs.AI、cs.LG
Comments Presented in UAI 2020
Journal ref PMLR 124:31-40, 2020
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :planning(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Comments Accepted by KDD'20 "AI For Covid-19" Initiative
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
Journal ref Minds and Machines, 29(3), 441-459, 2019
专题命中 工具调用 :agent(abstract);分类 cs.AI、cs.LG
专题命中 工具调用 :planning(abstract);分类 cs.AI、cs.LG