CommentsPreprint. 59 pages, 11 figures. v2 is a major revision: adds an enterprise case study (a Yahoo deployment evaluated by an anonymous 67-engineer survey), with findings integrated into the abstract, introduction, discussion, and conclusion; methodology tightened and references expanded
PathWISE: Multi-Agent Cancer Pathway Triaging Ontology Learning from Clinical Flowcharts
PathWISE: 基于临床流程图的多智能体癌症路径分诊本体学习
Sofiat Abioye, Ufaq Khan, Shazad Ashraf, Mohammed Adil Butt, Andrew D. Beggs, Adam Byfield, Anusha Jose, Junaid Qadir, Muhammad Bilal
机构
*
Birmingham City University(伯明翰城市大学)
;
Mohamed bin Zayed University of Artificial Intelligence(穆罕默德·本·扎耶德人工智能大学)
;
University Hospitals Birmingham NHS Foundation Trust(伯明翰大学医院国家健康服务信托基金)
;
NHS England (National Health Service)(英格兰国家健康服务局)
;
Qatar University(卡塔尔大学)
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
LeanMarathon:通过长视界Lean自动形式化实现可靠的AI合作数学家
Yuanhe Zhang, Yuekai Sun, Taiji Suzuki, Jason D. Lee, Fanghui Liu
机构
*
Department of Statistics, University of Warwick, UK(英国沃里克大学统计系)
;
Center for Advanced Intelligence Project, RIKEN, Japan(日本理化学研究所高级智能项目)
;
Department of Statistics, University of Michigan, USA(美国密歇根大学统计系)
;
Department of Mathematical Informatics, The University of Tokyo(东京大学数学信息学系;日本理化学研究所高级智能项目)
;
also Center for Advanced Intelligence Project, RIKEN, Japan(加州大学伯克利分校电气工程与计算机科学系;统计系)
;
Department of Electrical Engineering and Computer Sciences, also Department of Statistics, University of California, Berkeley, USA(上海交通大学数学科学学院,自然科学院和MOE-LSC)
;
School of Mathematical Sciences, Institute of Natural Sciences and MOE-LSC, Shanghai Jiao Tong University, China
机构
*
School of Computer Science, Wuhan University(武汉大学计算机学院)
;
National Engineering Research Center for Multimedia Software(多媒体软件国家工程研究中心)
;
Hubei Key Laboratory of Multimedia and Network Communication Engineering(湖北省多媒体与网络通信工程重点实验室)
Enhancing Multi-Robot Exploration Using Probabilistic Frontier Prioritization with Dirichlet Process Gaussian Mixtures
利用概率前沿优先级与狄利克雷过程高斯混合模型增强多机器人探索
John Lewis Devassy, Meysam Basiri, Mário A. T. Figueiredo, Pedro U. Lima
机构
*
Institute for Systems and Robotics / LARSyS and Instituto Superior Técnico, Universidade de Lisboa(系统与机器人研究所 / LARSyS 和里斯本大学理工学院)
;
Instituto de Telecomunicações and Instituto Superior Técnico, Universidade de Lisboa(电信研究所和里斯本大学理工学院)
机构
*
Centre for Data Futures, The Dickson Poon School of Law, King’s College London(数据未来中心、迪克森·普恩法学院、伦敦国王学院)
;
Department of Informatics, King’s College London(信息学院、伦敦国王学院)
;
LangAI, Center for Language AI Research, Tohoku University(LangAI、语言人工智能研究中心、东北大学)
;
Neukom Institute for Computational Science, Dartmouth College(计算科学尼科姆研究所、达特茅斯学院)
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Goedel-Architect: 通过蓝图生成与精炼简化形式定理证明
Jui-Hui Chung, Ziyang Cai, Zihao Li, Qishuo Yin, Rohit Agarwal, Simon Park, Rodrigo Porto, Narutatsu Ri, Ziran Yang, Shange Tang, Xingyu Dang, Hongzhou Lin, Mengdi Wang, Danqi Chen, Chi Jin, Liam H Fowl, Sanjeev Arora
机构
*
University of California, Berkeley(加州大学伯克利分校)
;
Stanford University(斯坦福大学)
;
University of Science and Technology of China(中国科学技术大学)
;
University of Toronto(多伦多大学)
;
National University of Singapore(新加坡国立大学)
;
University of Tokyo(东京大学)
;
University of Washington(华盛顿大学)
Uncertainty Aware Functional Behavior Prediction and Material Fatigue Assessment for Circular Factory
面向循环工厂的不确定性感知功能行为预测与材料疲劳评估
Nehal Afifi, Mehdi Khabou, Victor Mas, Jonas Hemmerich, Patric Grauberger, Stefan Dietrich, Volker Schulze, Sven Matthiesen
机构
*
IPEK Institute of Product Engineering, Karlsruhe Institute of Technology (KIT)(IPEK产品工程研究所,卡尔斯鲁厄理工学院)
;
IAM-WK Institute for Applied Materials – Materials Science and Engineering, Karlsruhe Institute of Technology (KIT)(应用材料研究所–材料科学与工程,卡尔斯鲁厄理工学院)
;
wbk Institute of Production Science, Karlsruhe Institute of Technology (KIT)(生产科学研究所,卡尔斯鲁厄理工学院)