AI 大模型

大模型推理能力

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

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

1. 代码与定理证明 2 篇

2305.11461 2025-10-09 cs.AI 83%

Hint of Pseudo Code (HoPC): Zero-Shot Step by Step Pseudo Code Reasoning Prompting

Iok Tong Lei, Ziyu Zhu, Han Yu, Yige Yao, Zhidong Deng

机构 * Department of Computer Science and Technology（计算机科学与技术系）； Institute for Artificial Intelligence at Tsinghua University（清华大学人工智能研究院）； Beijing National Research Center for Information Science and Technology（北京信息科学国家研究中心）； Tsinghua University（清华大学）

专题命中代码与定理证明：reasoning(title,abstract)；CoT(abstract)；分类 cs.AI

2509.25282 2025-10-09 cs.AI cs.HC cs.SE 79%

Toward Causal-Visual Programming: Enhancing Agentic Reasoning in Low-Code Environments

Jiexi Xu, Jiaqi Liu, Lanruo Wang, Su Liu

机构 * School of Information \& Computer Science University of California, Irvine Irvine, CA, USA ； Independent Researcher ； University of Texas at Dallas Dallas, TX, USA ； Georgia Institute of Technology Atlanta, GA, USA

专题命中代码与定理证明：reasoning(title,abstract)；分类 cs.AI

Comments 5 pages, 1 table