机构
*
School of Electrical Engineering and Computer Science (SEECS)(电气工程与计算机科学学院)
;
National University of Sciences and Technology (NUST)(国家科学与技术大学)
;
Department of Communication, Quality Management and Information Systems(通信、质量管理与信息系统系)
;
Mid Sweden University(中瑞典大学)
专题命中
推理与问题求解
:large language model(title);language model(title);分类 cs.CL
VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification
VeryTrace: 通过可编译形式化与结构化验证验证推理轨迹
Ninghan Zhong, Ahmet Ege Tanriverdi, Kaan Kale, Sriram Vishwanath
机构
*
School of Electrical and Computer Engineering, Georgia Institute of Technology, USA(佐治亚理工学院电子与计算机工程学院)
;
Department of Electrical and Computer Engineering, Bogazici University, Turkey(博亚奇大学电子与计算机工程系)
Seeing Before Reasoning: Decoupling Perception and Reasoning for Shortcut-Resilient Multimodal On-Policy Self-Distillation
先看后思:解耦感知与推理以实现抗捷径的多模态在策略自蒸馏
Sihan Wang, Xiyao Liu, Lianqing Liu, Zhi Han
机构
*
State Key Laboratory of Robotics and Intelligent Systems, Shenyang Institute of Automation, Chinese Academy of Sciences(机器人与智能系统国家重点实验室,沈阳自动化研究所,中国科学院)
;
University of Chinese Academy of Sciences(中国科学院大学)
专题命中
推理与问题求解
:LLM(abstract,abstract_cn);large language model(abstract);language model(abstract);post-training(abstract)
Architecture-Aware Reinforcement Learning Makes Sliding-Window Attention Competitive in Math Reasoning
架构感知强化学习使滑动窗口注意力在数学推理中具有竞争力
Kai Liu, Peijie Dong, Xinchen Xie, Jianfei Gao, Qipeng Guo, Xiaowen Chu, Shaoting Zhang, Kai Chen
机构
*
Shanghai Research Institute for Intelligent Autonomous Systems, Tongji University(上海智能自主系统研究院,同济大学)
;
Shanghai AI Laboratory(上海人工智能实验室)
;
Hong Kong University of Science and Technology (Guangzhou)(香港理工大学(广州))
专题命中
推理与问题求解
:SFT(abstract,abstract_cn);large language model(abstract);language model(abstract);pretraining(abstract)
Earth-OneVision: Extending Remote Sensing Multimodal Large Language Models to More Sensor Modalities and Tasks
Earth-OneVision:将遥感多模态大语言模型扩展到更多传感器模态和任务
Miaoxin Cai, Guanqun Wang, Wei Zhang, Guangyao Zhou, Yin Zhuang, Tong Zhang, Hao Wang, He Chen, Jun Li
机构
*
National Key Laboratory of Science and Technology on Space-Born Intelligent Information Processing (SBIIP), Beijing Institute of Technology(北京理工大学空间智能信息处理国家重点实验室)
;
Aerospace Information Research Institute, Chinese Academy of Sciences(中国科学院空天信息创新研究院)
;
Key Laboratory of Technology in Geo-Spatial Information Processing and Application System, Chinese Academy of Sciences(中国科学院地理空间信息处理与应用系统技术重点实验室)
;
Advanced Research Institute of Multidisciplinary Sciences, Beijing Institute of Technology(北京理工大学前沿交叉科学研究院)
;
School of Mechatronical Engineering, Beijing Institute of Technology(北京理工大学机电学院)
;
School of Earth and Space Sciences, Peking University(北京大学地球与空间科学学院)
;
School of Electronics, Peking University(北京大学电子学院)
;
School of Computer Science and Hubei Key Laboratory of Intelligent Geo-Information Processing(华中科技大学计算机科学与技术学院&湖北省智能地理信息处理重点实验室)
专题命中
推理与问题求解
:large language model(title);language model(title);分类 cs.AI