AI 大模型

大模型推理能力

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

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

1. 代码与定理证明 2 篇

2507.22009 2025-07-30 cs.AI 57%

PHAX: A Structured Argumentation Framework for User-Centered Explainable AI in Public Health and Biomedical Sciences

Bahar İlgen, Akshat Dubey, Georges Hattab

机构 * Center for Artificial Intelligence in Public Health Research (ZKI-PH), Robert Koch-Institut, Nordufer 20, Berlin, 13353, Germany（公共健康人工智能研究中心（ZKI-PH）、罗伯特· Koch研究所）； Department of Mathematics and Computer Science, Freie Universität Berlin, Arnimallee 14, Berlin, 14195, Germany（数学与计算机科学系、柏林自由大学）

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

Comments Preprint. Under review

2507.21067 2025-07-30 cs.AI cs.CY cs.HC 57%

SynLang and Symbiotic Epistemology: A Manifesto for Conscious Human-AI Collaboration

Jan Kapusta

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

Comments 32 pages, 4 figures. Includes 2 Appendices containing SynLang v1.2.0 protocol specification, and formal BNF grammar