SeClaw: Spec-Driven Security Task Synthesis for Evaluating Autonomous Agents
SeClaw: 面向自主代理评估的规范驱动安全任务合成
Hao Cheng, Changtao Miao, Tianle Song, Yin Wu, He Liu, Erjia Xiao, Junchi Chen, Xiaoyu Shi, Yichi Wang, Jing Yang, Taowen Wang, Jinhao Duan, Mengshu Sun, Peiyan Dong, Xuan Shen, Yang Cao, Renjing Xu, Kaidi Xu, Jindong Gu, Bo Zhang, Jize Zhang, Chenhao Lin, Philip Torr, Chao Shen
机构
*
The Hong Kong University of Science and Technology(香港科技大学)
;
Ant Digital Technologies, Ant Group(蚂蚁集团数字技术部)
;
Xi’an Jiaotong University(西安交通大学)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
University of Oxford(牛津大学)
;
City University of Hong Kong(香港城市大学)
;
Institute of Science Tokyo(东京科学研究所)
;
Zhejiang University(浙江大学)
;
Massachusetts Institute of Technology(麻省理工学院)
;
University of North Carolina at Chapel Hill(北卡罗来纳大学教堂山分校)
;
Beijing University of Technology(北京理工大学)
MobEvolve: An Agentic Self-Evolving Heuristic System for Interpretable Human Mobility Generation
MobEvolve:用于可解释人类移动性生成的智能体自进化启发式系统
Junlin He, Yihong Tang, Tong Nie, Ao Qu, Yuebing Liang, Hamzeh Alizadeh, Bang Liu, Wei Ma, Lijun Sun
机构
*
The Hong Kong Polytechnic University(香港理工大学)
;
McGill University(麦吉尔大学)
;
MIT(麻省理工学院)
;
Tsinghua University(清华大学)
;
Autorité régionale de transport métropolitain(大都会交通地区管理局)
;
Université de Montréal(蒙特利尔大学)
;
Mila – Quebec AI Institute(魁北克人工智能研究所)
An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models
人工推理之谜:探究大型推理模型中的生成-评估差距
Mingzhong Sun, Teresa Yeo, Armando Solar-Lezama, Tan Zhi-Xuan
机构
*
NUS Department of Computer Science(国立新加坡大学计算机科学系)
;
MIT EECS(麻省理工学院电子工程与计算机科学系)
;
A*STAR(新加坡科技研究局)
;
Singapore-MIT Alliance for Research and Technology (SMART)(新加坡-麻省理工联合研究技术机构(SMART))
Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence
科学中的自我修正发现系统:面向主体人工智能的范畴论框架
Fiona Y. Wang, Markus J. Buehler
机构
*
Laboratory for Atomistic and Molecular Mechanics(原子分子力学实验室)
;
Department of Biological Engineering(生物工程系)
;
Massachusetts Institute of Technology(麻省理工学院)
;
Department of Civil and Environmental Engineering(土木与环境工程系)
;
Department of Mechanical Engineering(机械工程系)
;
Center for Computational Science and Engineering(计算科学与工程中心)
;
Schwarzman College of Computing(施瓦茨曼计算学院)
Zhuorui Zhang, Roger Pallarès-López, Xuan Wu, Praneeth Namburi, Brian W. Anthony
机构
*
Department of Mechanical Engineering, MIT(麻省理工学院机械工程系)
;
Institute for Medical Engineering and Science, MIT(麻省理工学院医学工程与科学研究所)
;
MIT.nano Immersion Lab, MIT(麻省理工学院MIT.nano沉浸实验室)
Belief Consistency Between Foundation-Model Evidence and Geometric Perception in Persistent Robotic Maps
持久机器人地图中基础模型证据与几何感知之间的信念一致性
Christoffer Heckman, Harel Biggie, Brendan Crowe, Nicholas Roy
机构
*
Department of Computer Science, University of Colorado, Boulder(科罗拉多大学博尔德分校计算机科学系)
;
Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology(麻省理工学院计算机科学与人工智能实验室)
FrontierOR: Benchmarking LLMs' Capacity for Efficient Algorithm Design in Large-Scale Optimization
FrontierOR:基准测试大语言模型在大规模优化中高效算法设计的能力
Minwei Kong, Chonghe Jiang, Ao Qu, Wenbin Ouyang, Zhaoming Zeng, Xiaotong Guo, Zhekai Li, Junyi Li, Yi Fan, Xinshou Zheng, Xi Jing, Yikai Zhang, Zhiwei Liang, Seonghoo Kim, Runqing Yang, Zijian Zhou, Sirui Li, Han Zheng, Wangyang Ying, Ou Zheng, Chonghuan Wang, Jinglong Zhao, Hanzhang Qin, Cathy Wu, Paul Pu Liang, Jinhua Zhao, Hai Wang
机构
*
Singapore-MIT Alliance for Research and Technology(新加坡-麻省理工联盟研究技术)
;
Massachusetts Institute of Technology(麻省理工学院)
;
Northeastern University(东北大学)
;
Uber
;
Shanghai Jiaotong University(上海交通大学)
;
Boston University(波士顿大学)
;
Emory University(埃默里大学)
;
Northwestern University(西北大学)
;
National University of Singapore(国立新加坡大学)
;
Microsoft(微软)
;
University of Texas at Dallas(德克萨斯大学达拉斯分校)
;
Singapore Management University(新加坡管理学院)
机构
*
University of Tokyo(东京大学)
;
Toyota Central Research Laboratory(丰田中央研究所)
;
University of California, Berkeley(加州大学伯克利分校)
;
Massachusetts Institute of Technology(麻省理工学院)
;
National Institute of Advanced Industrial Science and Technology(国家工业科学与技术研究院)
How Much Progress Has There Been in NVIDIA Datacenter GPUs?
NVIDIA 数据中心 GPU 取得了多少进展?
Emanuele Del Sozzo, Martin Fleming, Kenneth Flamm, Neil Thompson
机构
*
MIT FutureTech, Computer Science and Artificial Intelligence Laboratory (CSAIL), Massachusetts Institute of Technology Cambridge MA USA(麻省理工学院未来科技、计算机科学与人工智能实验室(CSAIL)、麻省理工学院剑桥MA美国)
Towards Stable, Globally Expressive Graph Representations with Laplacian Eigenvectors
利用拉普拉斯特征向量实现稳定且全局表达性的图表示
Junru Zhou, Cai Zhou, Xiyuan Wang, Pan Li, Muhan Zhang
机构
*
Institute for Artificial Intelligence, Peking University(北京大学人工智能研究院)
;
Department of EECS, Massachusetts Institute of Technology(麻省理工学院电子工程与计算机科学系)
;
School of ECE, Georgia Institute of Technology(佐治亚理工学院电子与计算机工程系)