AI 大模型

大模型推理能力

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

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

1. 代码与定理证明 2 篇

2510.06101 2025-10-08 cs.CL 80%

The Valley of Code Reasoning: Scaling Knowledge Distillation of Large Language Models

Muyu He, Muhammad Ali Shafique, Anand Kumar, Tsach Mackey, Nazneen Rajani

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

Comments NeurIPS 2025 Workshop on Deep Learning for Code (DL4C), Project page: https://collinear.ai/valley-of-reasoning

2502.03874 2025-10-08 quant-ph 50%

Any theory that admits a Wigner's Friend type multi-agent paradox is logically contextual

Nuriya Nurgalieva, V. Vilasini

专题命中代码与定理证明：reasoning(abstract)

Comments 39+16 pages. Both authors contributed equally to this work. Initial versions of some of these results were included in NN's PhD thesis (ETH Zurich, 2023). v2 includes additional citations and clarifications in the outlook section