AI 大模型

大模型推理能力

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

2025-08-04 至 2025-08-04 共收录 3 篇信号源：cs.CL, cs.AI, cs.LG

1. 逻辑推理 3 篇

2402.11291 2025-08-04 cs.CL cs.AI 84%

Puzzle Solving using Reasoning of Large Language Models: A Survey

Panagiotis Giadikiaroglou, Maria Lymperaiou, Giorgos Filandrianos, Giorgos Stamou

机构 * Artificial Intelligence and Learning Systems Laboratory（人工智能与学习系统实验室）； School of Electrical and Computer Engineering（电气与计算机工程学院）； National Technical University of Athens（希腊雅典国家技术大学）

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

Journal ref Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pages 11574-11591, Miami, Florida, USA. Association for Computational Linguistics, 2024

2508.00419 2025-08-04 cs.LO cs.LG cs.PL 83%

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

机构 * IIIT Delhi（印度德里理工学院）； BITS Pilani（比斯帕利尼理工学院）

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

Comments Under Review

2508.00604 2025-08-04 cs.OS cs.AI 57%

Composable OS Kernel Architectures for Autonomous Intelligence

Rajpreet Singh, Vidhi Kothari

机构 * TU Munich, Germany（慕尼黑技术大学）； Pace University, New York, USA（帕克大学）

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

Comments 8 pages