← 返回论文库
Logical Reasoning in Large Language Models: A Survey
— · 2025
L3.1 · LLM Agent Patterns & FrameworksarXiv:2502.09100#survey#reasoning#logic
CORE IDEA
系统综述 LLM logical reasoning 的任务、方法、数据集、评估和错误模式。
CONCRETE EXAMPLE
对 formal math、AlphaProof、tool-verified reasoning 和金融 alpha 逻辑解释都有参考价值。
L-ANCHOR · 为什么在这一层重要
Logical reasoning survey anchor，补足自然语言推理与形式化验证之间的桥。