AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2025-10-01 至 2025-10-01 共收录 5 篇信号源：cs.CL, cs.AI, cs.LG

1. 逻辑推理 5 篇

2412.16953 2025-10-01 cs.CL 88%

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework

Jundong Xu, Hao Fei, Meng Luo, Qian Liu, Liangming Pan, William Yang Wang, Preslav Nakov, Mong-Li Lee, Wynne Hsu

机构 * National University of Singapore（国立新加坡大学）； University of Auckland（奥克兰大学）； University of Arizona（亚利桑那大学）； University of California, Santa Barbara（加州大学圣芭芭拉分校）； MBZUAI

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

Comments Accepted to ACL 2025 (Oral)

2501.01872 2025-10-01 cs.CL 70%

Turning Logic Against Itself : Probing Model Defenses Through Contrastive Questions

Rachneet Sachdeva, Rima Hazra, Iryna Gurevych

机构 * Ubiquitous Knowledge Processing Lab (UKP Lab), Department of Computer Science and Hessian Center for AI (hessian.AI), Technical University of Darmstadt（德累斯顿技术大学计算机科学系、海斯堡人工智能中心（hessian.AI）、通用知识处理实验室（UKP Lab））

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

Comments Accepted at EMNLP 2025 (Main)

2509.25439 2025-10-01 cs.LG cs.NE 57%

Norm-Q: Effective Compression Method for Hidden Markov Models in Neuro-Symbolic Applications

Hanyuan Gao, Xiaoxuan Yang

机构 * Department of Electrical and Computer Engineering（电气与计算机工程系）

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

Comments Accepted by Asilomar 2025

2509.25874 2025-10-01 cs.SE 50%

LogPilot: Intent-aware and Scalable Alert Diagnosis for Large-scale Online Service Systems

Zhihan Jiang, Jinyang Liu, Yichen Li, Haiyu Huang, Xiao He, Tieying Zhang, Jianjun Chen, Yi Li, Rui Shi, Michael R. Lyu

专题命中逻辑推理：reasoning(abstract)

Comments Accepted by the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)

2508.09897 2025-10-01 cs.CE 50%

Finetuning Large Language Model as an Effective Symbolic Regressor

Yingfan Hua, Ruikun Li, Jun Yao, Guohang Zhuang, Shixiang Tang, Bin Liu, Wanli Ouyang, Yan Lu

专题命中逻辑推理：reasoning(abstract)