PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
专题命中 软件智能体 :agent(abstract);分类 cs.SE
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
专题命中 软件智能体 :agent(abstract);分类 cs.SE
机构 * University of Chicago(芝加哥大学) ; Princeton University(普林斯顿大学) ; Peking University(北京大学) ; ByteDance Seed(字节跳动种子)
专题命中 软件智能体 :agentic(abstract);分类 cs.CL
Comments NeurIPS 2025 Spotlight. Project: https://github.com/Gen-Verse/CURE
专题命中 软件智能体 :workflow(abstract);分类 cs.SE
Comments This is the preprint version of a paper that has been submitted to the Journal of Systems and Software
Journal ref J. Syst. Softw. 219 (2024) 112248
机构 * Singapore University of Technology and Design(新加坡科技设计大学)
专题命中 软件智能体 :agentic(abstract);分类 cs.AI
Comments PRICAI 2025
专题命中 软件智能体 :workflow(abstract);分类 cs.SE
专题命中 软件智能体 :agentic(abstract);分类 cs.SE
机构 * Peking University(北京大学) ; BIGAI(大疆创新)
专题命中 软件智能体 :agent(abstract);分类 cs.AI
Comments Accepted by ACL 2025
专题命中 软件智能体 :agent(abstract);分类 cs.CL
Comments to be published in ACL 2025, Code is available at https://github.com/KYLN24/CritiQ
专题命中 软件智能体 :agent(abstract);分类 cs.SE
专题命中 软件智能体 :agent(abstract);分类 cs.SE
Comments Accepted by ICSE 2026
机构 * LIACS, Leiden University, The Netherlands(利马斯研究所,莱顿大学,荷兰)
专题命中 软件智能体 :agent(abstract);分类 cs.AI
专题命中 软件智能体 :workflow(abstract);分类 cs.SE
Comments 25 pages, 4 figures. To appear in special issue of Computing, "Pivoting Quantum Computing Using Software Engineering Best Practices"
专题命中 软件智能体 :workflow(abstract);分类 cs.AI
Comments AIES 2025
专题命中 软件智能体 :agent(abstract);分类 cs.LG
机构 * Microsoft(微软公司) ; Czech Technical University in Prague(捷克技术大学)
专题命中 软件智能体 :agent(abstract);分类 cs.AI
Comments 15 pages
机构 * Zhongguancun Academy(中关村学院) ; Zhongguancun Institute of Artificial Intelligence(中关村人工智能研究院) ; University of Science and Technology of China(中国科学技术大学) ; King Abdullah University of Science and Technology(国王 Abdullah 科学技术大学) ; Xi’an Jiaotong University(西安交通大学)
专题命中 软件智能体 :planning(abstract);分类 cs.AI
机构 * Visa Research(Visa研究)
专题命中 软件智能体 :agent(abstract);分类 cs.LG
Comments 11 pages, 10 figures
机构 * Purdue University(普渡大学) ; University of Central Florida(中央佛罗里达大学)
专题命中 软件智能体 :agent(abstract);分类 cs.AI
Comments IROS 2025 Oral
专题命中 软件智能体 :workflow(abstract);分类 cs.SE
机构 * Department of Computer Science University of Minnesota(计算机科学系明尼苏达大学) ; Department of Civil Environmental and Geo- Engineering University of Minnesota(土木环境与地球工程系明尼苏达大学)
专题命中 软件智能体 :agent(abstract);分类 cs.LG
Comments 10 pages 6 figures 3 tables
机构 * Johns Hopkins University(约翰霍普金斯大学) ; Johns Hopkins Applied Physics Laboratory(约翰霍普金斯应用物理实验室) ; Johns Hopkins Medical Institutions(约翰霍普金斯医学机构)
专题命中 软件智能体 :agent(abstract);分类 cs.AI
机构 * Teads
专题命中 软件智能体 :agent(abstract);分类 cs.LG
Comments Agent4IR, KDD '25
专题命中 软件智能体 :agent(abstract);分类 cs.SE
机构 * Donald Bren School of Information and Computer Sciences, University of California at Irvine, United States(戴维·伯恩信息与计算机科学学院,加州大学尔湾分校,美国)
专题命中 软件智能体 :agent(abstract);分类 cs.LG
机构 * Cornell University(康奈尔大学)
专题命中 软件智能体 :agent(abstract);分类 cs.LG
Comments ICML 2025
机构 * School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院) ; Key Laboratory of Cognition and Decision Intelligence for Complex Systems, Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所认知与决策智能复杂系统重点实验室)
专题命中 软件智能体 :agent(abstract);分类 cs.LG
Comments Accepted by ITSC 2025
机构 * LG AI Research, Seoul, Republic of Korea.(LG人工智能研究所在韩国首尔) ; School of Electrical Engineering, KAIST, Daejeon, Republic of Korea(韩国成均馆大学电气工程学院) ; Department of XXX, University of YYY, Location, Country(YYY大学XXX系) ; School of ZZZ, Institute of WWW, Location, Country(WWW研究所ZZZ学院)
专题命中 软件智能体 :agent(abstract);分类 cs.LG
Comments ICML 2025 camera-ready
专题命中 软件智能体 :workflow(abstract);分类 cs.AI
专题命中 软件智能体 :workflow(abstract);分类 cs.SE
机构 * IIIXR LAB, Kyung Hee University(Kyung Hee大学IIIXR实验室) ; IIIXR LAB, Korea University(Korea大学IIIXR实验室) ; AIR Lab, Kyung Hee University(Kyung Hee大学AIR实验室)
专题命中 软件智能体 :agent(abstract);分类 cs.LG
Comments 11 pages, 11 figures. Accepted to SIGGRAPH Conference Papers '25. Project page: https://han-dongheun.github.io/ForceGrip
Journal ref SIGGRAPH Conference Papers '25, August 10-14, 2025, Vancouver, BC, Canada