An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems
对LLMs在数学推理中鲁棒性的调查:通过高级数学问题的数学等价转换进行基准测试
Yuren Hao, Xiang Wan, ChengXiang Zhai
机构
*
Department of Computer Science University of Illinois Urbana–Champaign(计算机科学系伊利诺伊大学厄巴纳-香槟分校)
;
Department of Computer Science Stanford University(计算机科学系斯坦福大学)
Machine Phenomenology: A Simple Equation Classifying Fast Radio Bursts
机器现象学:一个简单方程分类快速射电暴
Yang Liu, Yuhao Lu, Rahim Moradi, Bo Yang, Bing Zhang, Wenbin Lin, Yu Wang
机构
*
School of Computer Science, University of South China(南华大学计算机科学学院)
;
Department of Physics E. Pancini, University Federico II(费米研究所物理系)
;
Key Laboratory of Particle Astrophysics, Institute of High Energy Physics, Chinese Academy of Sciences(中国科学院高能物理研究所粒子天体物理重点实验室)
;
School of Mathematics and Physics, University of South China(南华大学数学物理学院)
;
The Hong kong Institute for Astronomy and Astrophysics, University of Hong Kong(香港大学天文与天体物理研究所)
;
Department of Physics, University of Hong Kong(香港大学物理系)
;
Nevada Center for Astrophysics, University of Nevada(内华达大学天文中心)
;
School of Physical Science and Technology, Southwest Jiaotong University(西南交通大学物理科学与技术学院)
专题命中
逻辑推理
:reasoning(abstract);分类 cs.AI
AI总结
本文提出一个简单方程通过符号回归分类快速射电暴,结合人类物理推理与机器学习发现经验定律。
Comments19 pages, 9 figures, 3 tables. Submitted to SCIENCE CHINA Physics, Mechanics & Astronomy
Large language models can learn and generalize steganographic chain-of-thought under process supervision
大语言模型可以在过程监督下学习和泛化隐写链式思维
Joey Skaf, Luis Ibanez-Lissen, Robert McCarthy, Connor Watts, Vasil Georgiv, Hannes Whittingham, Lorena Gonzalez-Manzano, David Lindner, Cameron Tice, Edward James Young, Puria Radmard
机构
*
Mentorship for Alignment Research Students (MARS)(对齐研究 mentorship 项目)
;
University College London(伦敦大学学院)
;
Queen Mary University of London(伦敦女王学院)
;
ML Alignment & Theory Scholars (MATS)(对齐与理论学者)
;
Meridian Impact, Cambridge(剑桥 Meridian Impact)
;
Universidad Carlos III de Madrid(马德里卡洛斯三世大学)
;
Geodesic Research and University of Cambridge(Geodesic Research 和剑桥大学)
Towards 6G Native-AI Edge Networks: A Semantic-Aware and Agentic Intelligence Paradigm
迈向6G原生AI边缘网络:一种语义感知和代理智能范式
Chenyuan Feng, Anbang Zhang, Geyong Min, Yongming Huang, Tony Q. S. Quek, Xiaohu You
机构
*
College of Computer Science, University of Exeter, Exeter, U.K.(埃克塞特大学计算机科学学院)
;
Sony China Research Laboratory, Beijing, China(索尼中国研究实验室)
;
School of Information Science and Engineering, Southeast University, Nanjing, China(东南大学信息科学与工程学院)
;
Purple Mountain Laboratories, Nanjing, China(紫金山实验室)
;
Information System Technology and Design Pillar, Singapore University of Technology and Design, Singapore(新加坡科技设计大学信息系统技术与设计支柱)
ASTRIDE: A Security Threat Modeling Platform for Agentic-AI Applications
ASTRIDE:面向智能体AI应用的安全威胁建模平台
Eranga Bandara, Amin Hass, Ross Gore, Sachin Shetty, Ravi Mukkamala, Safdar H. Bouk, Xueping Liang, Ng Wee Keong, Kasun De Zoysa, Aruna Withanage, Nilaan Loganathan
机构
*
Old Dominion University(老奥布里恩大学)
;
Accenture Technology Labs(埃森哲技术实验室)
;
Florida International University(佛罗里达国际大学)
;
Nanyang Technological University(南洋理工大学)
;
University of Colombo(科伦坡大学)
Athanasios Trantas, Martino Mensio, Stylianos Stasinos, Sebastian Gribincea, Taimur Khan, Damian Podareanu, Aliene van der Veen
机构
*
Nederlandse Organisatie voor Toegepast Natuurwetenschappelijk Onderzoek – TNO(荷兰应用自然科学研究院 – TNO)
;
Eindhoven University of Technology(埃因霍温理工大学)
;
Amazon(亚马逊)
;
University of Groningen(格罗宁根大学)
;
Helmholtz Center for Environmental Research – UFZ(环境研究赫尔姆霍茨中心 – UFZ)
;
SURF
SIMA 2: A Generalist Embodied Agent for Virtual Worlds
SIMA 2: 一种通用的具身代理用于虚拟世界
SIMA team, Adrian Bolton, Alexander Lerchner, Alexandra Cordell, Alexandre Moufarek, Andrew Bolt, Andrew Lampinen, Anna Mitenkova, Arne Olav Hallingstad, Bojan Vujatovic, Bonnie Li, Cong Lu, Daan Wierstra, Daniel P. Sawyer, Daniel Slater, David Reichert, Davide Vercelli, Demis Hassabis, Drew A. Hudson, Duncan Williams, Ed Hirst, Fabio Pardo, Felix Hill, Frederic Besse, Hannah Openshaw, Harris Chan, Hubert Soyer, Jane X. Wang, Jeff Clune, John Agapiou, John Reid, Joseph Marino, Junkyung Kim, Karol Gregor, Kaustubh Sridhar, Kay McKinney, Laura Kampis, Lei M. Zhang, Loic Matthey, Luyu Wang, Maria Abi Raad, Maria Loks-Thompson, Martin Engelcke, Matija Kecman, Matthew Jackson, Maxime Gazeau, Ollie Purkiss, Oscar Knagg, Peter Stys, Piermaria Mendolicchio, Raia Hadsell, Rosemary Ke, Ryan Faulkner, Sarah Chakera, Satinder Singh Baveja, Shane Legg, Sheleem Kashem, Tayfun Terzi, Thomas Keck, Tim Harley, Tim Scholtes, Tyson Roberts, Volodymyr Mnih, Yulan Liu, Zhengdong Wang, Zoubin Ghahramani