AI 大模型

大模型推理能力

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

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

1. 逻辑推理 5 篇

2208.13266 2025-09-04 cs.AI cs.CL cs.CV cs.RO 84%

JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents

Kaizhi Zheng, Kaiwen Zhou, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang

机构 * University of California（加州大学）

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

Comments 19th International Conference on Neurosymbolic Learning and Reasoning

2509.00971 2025-09-04 cs.AI 83%

CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs

Jay Vaghasiya, Omkar Ghugarkar, Vishvesh Bhat, Vipul Dholaria, Julian McAuley

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

2509.02958 2025-09-04 cs.LO cs.AI cs.LG cs.PL 81%

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning

Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Dyuman Aditya, Paulo Shakarian, Devendra Parkar, Lahari Pokala, Clark Dorman, Gerardo I. Simari

机构 * Syracuse University Syracuse New York USA ； Arizona State University Tempe Arizona USA ； Scientific Systems Company, Inc. Woburn Massachusetts USA ； Department of Computer Science ； Engineering, Universidad Nacional del Sur (UNS) \& Institute for Computer Science ； Syracuse University ； Arizona State University ； Scientific Systems Company, Inc.

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

2509.02918 2025-09-04 cs.CV cs.AI 57%

Single Domain Generalization in Diabetic Retinopathy: A Neuro-Symbolic Learning Approach

Midhat Urooj, Ayan Banerjee, Farhat Shaikh, Kuntal Thakur, Sandeep Gupta

机构 * Impact Lab, Arizona State University（Impact实验室，亚利桑那州立大学）

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

Comments Accepted in ANSyA 2025: 1st International Workshop on Advanced Neuro-Symbolic Applications

Journal ref ANSyA 2025: 1st International Workshop on Advanced Neuro-Symbolic Applications

2508.18298 2025-09-04 cs.MA cs.AI cs.SE 57%

Murakkab: Resource-Efficient Agentic Workflow Orchestration in Cloud Platforms

Gohar Irfan Chaudhry, Esha Choukse, Haoran Qiu, Íñigo Goiri, Rodrigo Fonseca, Adam Belay, Ricardo Bianchini

机构 * MIT CSAIL（麻省理工学院计算机科学与人工智能实验室）； Microsoft Azure Research -- Systems（微软Azure研究系统）； Microsoft Azure（微软Azure）

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