AI 大模型

大模型推理能力

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

2026-01-29 至 2026-01-29 共收录 4 篇信号源：cs.CL, cs.AI, cs.LG

1. 逻辑推理 4 篇

2601.20784 2026-01-29 cs.AI cs.AR 89%

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence

REASON: 加速概率逻辑推理以实现可扩展的神经符号智能

Zishen Wan, Che-Kai Liu, Jiayi Qian, Hanchen Yang, Arijit Raychowdhury, Tushar Krishna

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

AI总结 REASON通过统一图表示和自适应剪枝技术，实现概率逻辑推理的加速，提升神经符号AI的效率与可扩展性。

Comments 16 pages, 13 figures, 5 tables, 2026 IEEE International Symposium on High-Performance Computer Architecture (HPCA)

2601.20604 2026-01-29 cs.AI 88%

Dialogical Reasoning Across AI Architectures: A Multi-Model Framework for Testing AI Alignment Strategies

跨AI架构的对话推理：一种多模型框架用于测试AI对齐策略

Gray Cox

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

AI总结本文提出一种多模型框架，通过对话推理测试AI对齐策略，展示不同AI模型在处理复杂对齐框架时的表现及新兴见解。

Comments 23 pages, 5 tables, 5 appendices. Code and data: https://github.com/jgraycox-coa/vcw-multi-ai-dialogue

2503.14957 2026-01-29 cs.CV 78%

Neuro Symbolic Knowledge Reasoning for Procedural Video Question Answering

用于过程视频问答的神经符号知识推理

Basura Fernando, Thanh-Son Nguyen, Hong Yang, Tzeh Yuan Neoh, Hao Zhang, Ee Yeo Keat

机构 * Centre for Frontier AI Research, A*STAR, Singapore（前沿人工智能研究所以（A*STAR））； Institute of High-Performance Computing, A*STAR, Singapore（高性能计算研究所（A*STAR））； College of Computing and Data Science, NTU, Singapore（计算与数据科学学院（NTU））

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

AI总结本文提出KML框架，通过神经符号方法提升过程视频问答的推理能力，结合知识图谱实现可解释的多步骤推理。

Comments This paper is under review at IEEE Transactions on Neural Networks and Learning Systems. Personal use is permitted, but republication/redistribution requires IEEE permission

2601.19968 2026-01-29 cs.CR 50%

What is the AGI in Offensive Security ?

进攻性安全中的AGI是什么？

Youngwoong Cho

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

AI总结本文探讨进攻性安全中的AGI，提出将任务归结为符号语言操作，并通过状态机和符号代理模型分析交互编码问题。