RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.AI、cs.LG
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.AI、cs.LG
机构 * ETH Zurich(苏黎世联邦理工学院) ; Snyk(Snyk公司)
专题命中 工作流自动化 :AI agent(title);agent(abstract);分类 cs.AI、cs.LG
专题命中 工作流自动化 :agent(title,abstract)
机构 * The City University of Hong Kong(香港城市大学) ; Renmin University of China(中国人民大学) ; The Chinese University of Hong Kong(香港中文大学) ; Shenzhen University(深圳大学) ; National Yang Ming Chiao Tung University(阳明交通大学) ; Taipei Veterans General Hospital(台北荣民总医院)
专题命中 工作流自动化 :agent(abstract);workflow(abstract);分类 cs.AI、cs.CL
Comments Accepted by NeurIPS25 Spotlight
机构 * The University of Texas at Austin(德克萨斯大学奥斯汀分校) ; The U.S. Army Research Laboratory(美国陆军研究实验室)
专题命中 工作流自动化 :agent(abstract);分类 cs.AI、cs.LG
机构 * Department of Electrical and Computer Engineering, University of California, Santa Barbara(电气与计算机工程系,加州大学圣巴巴拉分校) ; Department of Computer Science, University of California, Santa Barbara(计算机科学系,加州大学圣巴巴拉分校) ; Cadence Design Systems(Cadence设计系统) ; Intel Corporation(英特尔公司)
专题命中 工作流自动化 :workflow(abstract);分类 cs.AI、cs.LG
Comments Published by IEEE TCPMT
专题命中 工作流自动化 :agent(abstract);分类 cs.LG
专题命中 工作流自动化 :workflow(abstract)
专题命中 工作流自动化 :workflow(abstract)