机构
*
Shanghai Qi Zhi Institute（上海启智研究所）
；
Department of Computer Science and Technology, Tsinghua University（清华大学计算机科学与技术系）
；
Institute for Interdisciplinary Information Sciences, Tsinghua University（清华大学交叉信息研究院）
；
Shanghai Artificial Intelligence Laboratory（上海人工智能实验室）
专题命中
推理与问题求解
：large language model(title,abstract)；language model(title,abstract)；分类 cs.LG
CWM: An Open-Weights LLM for Research on Code Generation with World Models
FAIR CodeGen team, Jade Copet, Quentin Carbonneaux, Gal Cohen, Jonas Gehring, Jacob Kahn, Jannik Kossen, Felix Kreuk, Emily McMilin, Michel Meyer, Yuxiang Wei, David Zhang, Kunhao Zheng, Jordi Armengol-Estapé, Pedram Bashiri, Maximilian Beck, Pierre Chambon, Abhishek Charnalia, Chris Cummins, Juliette Decugis, Zacharias V. Fisches, François Fleuret, Fabian Gloeckle, Alex Gu, Michael Hassid, Daniel Haziza, Badr Youbi Idrissi, Christian Keller, Rahul Kindi, Hugh Leather, Gallil Maimon, Aram Markosyan, Francisco Massa, Pierre-Emmanuel Mazaré, Vegard Mella, Naila Murray, Keyur Muzumdar, Peter O'Hearn, Matteo Pagliardini, Dmitrii Pedchenko, Tal Remez, Volker Seeker, Marco Selvi, Oren Sultan, Sida Wang, Luca Wehrstedt, Ori Yoran, Lingming Zhang, Taco Cohen, Yossi Adi, Gabriel Synnaeve
MASA: LLM-Driven Multi-Agent Systems for Autoformalization
Lan Zhang, Marco Valentino, André Freitas
机构
*
Department of Computer Science, University of Manchester（曼彻斯特大学计算机科学系）
；
School of Computer Science, University of Sheffield（谢菲尔德大学计算机科学学院）
；
Idiap Research Institute（Idiap研究 institute）
；
National Biomarker Centre, CRUK Manchester Institute（国家生物标志物中心，CRUK曼彻斯特研究所）
专题命中
推理与问题求解
：LLM(title)；large language model(abstract)；language model(abstract)；分类 cs.CL
Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
Manuel Vargas Guzmán, Jakub Szymanik, Maciej Malicki
机构
*
University of Warsaw（华沙大学）
；
University of Trento（特伦托大学）
；
Institute of Fundamental Technological Research, Polish Academy of Sciences（波兰科学院基础技术研究所）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.CL、cs.LG
EFRame: Deeper Reasoning via Exploration-Filter-Replay Reinforcement Learning Framework
Chen Wang, Lai Wei, Yanzhi Zhang, Chenyang Shao, Zedong Dan, Weiran Huang, Yuzhi Zhang, Yue Wang
机构
*
Zhongguancun Academy（中关村学院）
；
College of Software, Nankai University（南开大学软件学院）
；
School of Computer Science, Shanghai Jiao Tong University（上海交通大学计算机科学学院）
；
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
；
Department of Electronic Engineering, Tsinghua University（清华大学电子工程系）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.AI、cs.LG
Token-Level Policy Optimization: Linking Group-Level Rewards to Token-Level Aggregation via Markov Likelihood
Xingyu Lin, Yilin Wen, En Wang, Du Su, Wenbin Liu, Chenfu Bao, Zhonghou Lv
机构
*
Baidu Inc（百度公司）
；
College of Computer Science and Technology, Jilin University（吉林大学计算机科学与技术学院）
；
Key Laboratory of Symbolic Computation and Knowledge Engineering of MOE, Jilin University（吉林大学教育部符号计算与知识工程重点实验室）
；
State Key Laboratory of AI Safety, Institute of Computing Technology, Chinese Academy of Sciences（中国科学院人工智能安全国家重点实验室）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.CL
机构
*
National Key Laboratory for Novel Software Technology, Nanjing University（南京大学新型软件技术国家重点实验室）
；
The University of Hong Kong（香港大学）
；
Carnegie Mellon University（卡内基梅隆大学）
；
Shanghai Artificial Intelligent Laboratory（上海人工智能实验室）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.CL
RA-Gen: A Controllable Code Generation Framework Using ReAct for Multi-Agent Task Execution
Aofan Liu, Haoxuan Li, Bin Wang, Ao Yang, Hui Li
机构
*
School of Electronic and Computer Engineering, Peking University（电子与计算机工程学院，北京大学）
；
Guangdong Provincial Key Laboratory of Ultra High Definition Immersive Media Technology（超高清沉浸媒体技术省重点实验室）
；
Shenzhen Graduate School, Peking University（深圳研究生院，北京大学）
；
Shenzhen International Graduate School, Tsinghua University（深圳国际研究生院，清华大学）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)；分类 cs.AI
Adaptive Motion Planning via Contact-Based Intent Inference for Human-Robot Collaboration
Jiurun Song, Xiao Liang, Minghui Zheng
机构
*
Department of Mechanical Engineering, Texas A&M University（机械工程系，德克萨斯A&M大学）
；
Department of Civil and Environmental Engineering, Texas A&M University（土木与环境工程系，德克萨斯A&M大学）
专题命中
推理与问题求解
：large language model(abstract)；language model(abstract)
Barbarians at the Gate: How AI is Upending Systems Research
Audrey Cheng, Shu Liu, Melissa Pan, Zhifei Li, Bowen Wang, Alex Krentsel, Tian Xia, Mert Cemri, Jongseok Park, Shuo Yang, Jeff Chen, Lakshya Agrawal, Aditya Desai, Jiarong Xing, Koushik Sen, Matei Zaharia, Ion Stoica
Unleashing Perception-Time Scaling to Multimodal Reasoning Models
Yifan Li, Zhenghao Chen, Ziheng Wu, Kun Zhou, Ruipu Luo, Can Zhang, Zhentao He, Yufei Zhan, Wayne Xin Zhao, Minghui Qiu
机构
*
Gaoling School of Artificial Intelligence, Renmin University of China（中国人民大学北京校区人工智能学院）
；
Beijing Key Laboratory of Research on Large Models and Intelligent Governance（北京大模型与智能治理重点实验室）
；
ByteDance（字节跳动）
；
University of California, San Diego（加州大学圣地亚哥分校）
；
Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所）
Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
Yingji Zhang, Marco Valentino, Danilo S. Carvalho, André Freitas
机构
*
Department of Computer Science, University of Manchester（曼彻斯特大学计算机科学系）
；
School of Computer Science, University of Sheffield（谢菲尔德大学计算机科学学院）
；
Idiap Research Institute（Idiap研究机构）
；
Cancer Biomarker Centre, CRUK Manchester Institute（CRUK曼彻斯特研究所癌症生物标记中心）
