大模型推理能力

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

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

1. 代码与定理证明 1 篇

2509.04083 2025-09-05 cs.AI 79%

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning

Alexander Beiser, David Penz, Nysret Musliu

机构 * Johannes Kepler University Linz（约翰内斯·开普勒大学林茨）

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

Comments To appear in the proceedings of The Second Workshop on Knowledge Graphs and Neurosymbolic AI (KG-NeSy) Co-located with SEMANTiCS 2025 Conference, Vienna, Austria - September 3rd, 2025

↑