Reasoning with Exploration: An Entropy Perspective
机构 * RUC（北京理工大学） ； MSRA（微软研究院） ； SJTU（上海交通大学） ； BIGAI（北京人工智能研究院）
专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL
Comments AAAI 2026 Conference
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 代码与定理证明 2 篇
Increasing AI Explainability by LLM Driven Standard Processes
机构 * Computer Science Institute University of Applied Sciences Ruhr West Bottrop（应用科学鲁尔西贝特大学计算机科学研究所）
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI
