机构
*
University of California, Irvine(加州大学尔湾分校)
;
Center for Advanced AI, Accenture(Accenture高级人工智能中心)
;
University of California, San Diego(加州大学圣地亚哥分校)
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Numina-Lean-Agent: 一种面向形式数学的开放且通用的代理推理系统
Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wenda Li
机构
*
Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences(中国科学院数学与系统科学研究院)
;
Tongji University(同济大学)
;
University of Cambridge(剑桥大学)
;
Imperial College London(伦敦帝国学院)
;
University of Edinburgh(爱丁堡大学)
;
University of Liverpool(利物浦大学)
;
Xi'an Jiaotong-Liverpool University(西安交通大学利物浦大学)
Disagreement as Data: Reasoning Trace Analytics in Multi-Agent Systems
分歧作为数据:多智能体系统中的推理轨迹分析
Elham Tajik, Conrad Borchers, Bahar Shahrokhian, Sebastian Simon, Ali Keramati, Sonika Pal, Sreecharan Sankaranarayanan
机构
*
University at Albany(纽约州立大学阿尔巴尼分校)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Arizona State University(亚利桑那州立大学)
;
Le Mans University(勒曼大学)
;
University of California, Irvine(加州大学尔湾分校)
;
Indian Institute of Technology Bombay(印度班加罗尔理工学院)
;
Extuitive Inc. (Flagship Pioneering)(Extuitive公司(Flagship Pioneering))
TreeWriter: AI-Assisted Hierarchical Planning and Writing for Long-Form Documents
TreeWriter: 人工智能辅助的长篇文档分层规划与写作
Zijian Zhang, Fangshi Du, Xingjian Liu, Pan Chen, Oliver Huang, Runlong Ye, Michael Liut, Alán Aspuru-Guzik
机构
*
Department of Computer Science, University of Toronto, Sandford Fleming Building, 10 King’s College Road, ON M5S 3G4, Toronto, Canada
;
Vector Institute for Artificial Intelligence, 661 University Ave. Suite 710, ON M5G 1M1, Toronto, Canada
;
Department of Chemistry, University of Toronto, Lash Miller Chemical Laboratories, 80 St. George Street, ON M5S 3H6, Toronto, Canada
;
Department of Mathematical
;
Computational Sciences, University of Toronto Mississauga, 3359 Mississauga Road, Deerfield Hall, ON L5L 1C6, Mississauga, Canada
;
Department of Materials Science \& Engineering, University of Toronto, 184 College St., M5S 3E4, Toronto, Canada
;
Department of Chemical Engineering \& Applied Chemistry, University of Toronto, 200 College St. ON M5S 3E5, Toronto, Canada
;
Acceleration Consortium, 700 University Ave., M7A 2S4, Toronto, Canada
;
Canadian Institute for Advanced Research (CIFAR), 661 University Ave., M5G 1M1, Toronto, Canada
;
NVIDIA, 431 King St W \#6th, M5V 1K4, Toronto, Canada
Comments14 pages, 4 figures, proceedings of the International Workshop on Active Inference 2025. Erratum v1: in Eq. (50), $p(y_t, Θ, u_t \mid y_{*}, \mathcal{D}_k)$ should have been $p(y_t, Θ\mid u_t, y_{*}, \mathcal{D}_k)$
AirHunt: Bridging VLM Semantics and Continuous Planning for Efficient Aerial Object Navigation
AirHunt: 通过融合视觉语言模型语义与连续规划实现高效空中物体导航
Xuecheng Chen, Zongzhuo Liu, Jianfa Ma, Bang Du, Tiantian Zhang, Xueqian Wang, Boyu Zhou
机构
*
Shenzhen International Graduate School, Tsinghua University(清华大学深圳国际研究生院)
;
Department of Mechanical and Energy Engineering, Southern University of Science and Technology(南方科技大学机械与能源工程系)
;
Department of Computer Science and Engineering, Southern University of Science and Technology(南方科技大学计算机科学与工程系)
;
Department of Physics, Southern University of Science and Technology(南方科技大学物理系)
Chenxu Dang, Jie Wang, Guang Li, Zhiwen Hou, Zihan You, Hangjun Ye, Jie Ma, Long Chen, Yan Wang
机构
*
Huazhong University of Science and Technology(华中科技大学)
;
Xiaomi EV(小米电动车)
;
Institute for AI Industry Research (AIR), Tsinghua University(清华大学人工智能产业研究院)
Active Informative Planning for UAV-based Weed Mapping using Discrete Gaussian Process Representations
基于离散高斯过程表示的UAV weed映射主动信息规划
Jacob Swindell, Marija Popović, Riccardo Polvara
机构
*
Lincoln Centre for Autonomous Systems (L-CAS)(林肯自主系统中心)
;
Faculty of Aerospace Engineering, MAVLab(航空航天工程学院)
;
Delft University of Technology (TU Delft)(代尔夫特理工大学)
LIBRA: Language Model Informed Bandit Recourse Algorithm for Personalized Treatment Planning
LIBRA:基于语言模型的带状 recourse 算法用于个性化治疗计划
Junyu Cao, Ruijiang Gao, Esmaeil Keyvanshokooh, Jianhao Ma
机构
*
McCombs School of Business, University of Texas at Austin(德克萨斯大学奥斯汀分校麦克斯韦商学院)
;
Naveen Jindal School of Management, University of Texas at Dallas(德克萨斯大学达拉斯分校奈文·金达管理学院)
;
Mays Business School, Texas A&M University(德克萨斯农工大学梅斯商学院)
;
Wharton School, University of Pennsylvania(宾夕法尼亚大学沃顿商学院)
PolyFly: Polytopic Optimal Planning for Collision-Free Cable-Suspended Aerial Payload Transportation
PolyFly: 多面体最优规划用于无碰撞缆悬空空载运输
Mrunal Sarvaiya, Guanrui Li, Giuseppe Loianno
机构
*
University of California Berkeley, Department of Electrical Engineering and Computer Sciences(加州大学伯克利分校电子工程与计算机科学系)
;
Worcester Polytechnic Institute, Robotics Engineering(沃思黑德技术学院机器人工程)
Comments6 pages, 5 figures (two of them in tables), Conference: IEEE International Conference on Machine Learning and Applications 2025 (ICMLA 2025): https://www.icmla-conference.org/icmla25/
AnyTask: an Automated Task and Data Generation Framework for Advancing Sim-to-Real Policy Learning
AnyTask: 一种用于推进仿真到现实策略学习的任务和数据生成框架
Ran Gong, Xiaohan Zhang, Jinghuan Shang, Maria Vittoria Minniti, Jigarkumar Patel, Valerio Pepe, Riedana Yan, Ahmet Gundogdu, Ivan Kapelyukh, Ali Abbas, Xiaoqiang Yan, Harsh Patel, Laura Herlant, Karl Schmeckpeper
机构
*
Department of Electrical and Computer Engineering, Rutgers University(罗格斯大学电气与计算机工程系)
;
Department of Biostatistics and Bioinformatics, Duke University(杜克大学生物统计与生物信息学系)
;
Department of Electrical and Systems Engineering, University of Pennsylvania(宾夕法尼亚大学电气与系统工程系)