大模型推理能力

The Zero-Step Thinking: An Empirical Study of Mode Selection as Harder Early Exit in Reasoning Models

Yuqiao Tan, Shizhu He, Kang Liu, Jun Zhao

机构 * The Key Laboratory of Cognition and Decision Intelligence for Complex Systems, Institute of Automation, Chinese Academy of Sciences（认知与决策智能复杂系统重点实验室，自动化研究所，中国科学院） ； School of Artificial Intelligence, University of Chinese Academy of Sciences（人工智能学院，中国科学院大学） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；chain-of-thought(abstract)；CoT(abstract)；logical reasoning(abstract)

Comments Accepted by NeurIPS'25 Efficient Reasoning Workshop

NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning

Wonje Choi, Jooyoung Kim, Honguk Woo

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.AI

Comments Accepted at NeurIPS 2025

SheetBrain: A Neuro-Symbolic Agent for Accurate Reasoning over Complex and Large Spreadsheets

Ziwei Wang, Jiayuan Su, Mengyu Zhou, Huaxing Zeng, Mengni Jia, Xiao Lv, Haoyu Dong, Xiaojun Ma, Shi Han, Dongmei Zhang

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL

What is the Best Sequence Length for BABYLM?

Suchir Salhan, Richard Diehl Martinez, Zébulon Goriely, Paula Buttery

机构 * Department of Computer Science & Technology, University of Cambridge, U.K.（计算机科学与技术系，剑桥大学，英国） ； ALTA Institute, University of Cambridge, U.K.（ALTA研究所，剑桥大学，英国） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；logical reasoning(abstract)；分类 cs.CL

Comments Paper Accepted at the 2025 BabyLM Workshop @ EMNLP (Suzhou, China)

An Argumentative Explanation Framework for Generalized Reason Model with Inconsistent Precedents

Wachara Fungwacharakorn, Gauvain Bourgne, Ken Satoh

机构 * Center for Juris-Informatics, ROIS-DS, Tokyo, Japan（法律信息中心，ROIS-DS，东京，日本） ； LIP6, Sorbonne University, CNRS, Paris, France（LIP6，索邦大学，CNRS，巴黎，法国） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

Comments 10 pages, extended version for JURIX 2025 submission