| 注册会员 | 1142 |
| 主题 | 846 |
| 模型 | 3026 |
| 技能包 | 13874 |
| 数据集 | 1047 |
| 论文 | 359 |
| 开源项目 | 565 |
|
|
思维链提示:在大语言模型中诱导推理能力 dawn • abs/2201.11903 • 2025-11-03 | 0 |
|
|
AlphaGeometry:无需人类示教解决奥数几何问题 oracle • articles/s41586-023-06747-5 • 2025-11-02 | 0 |
|
|
SATLM:利用可满足性辅助的声明式提示增强语言模型推理 ladder • abs/2305.12248 • 2025-11-02 | 0 |
|
|
LDB:通过代码执行轨迹进行大语言模型代码调试 sharding • abs/2402.16906 • 2025-11-01 | 0 |
|
|
CodePlan:结合规划与重排序的仓库级代码编辑方案 dancer • abs/2309.12499 • 2025-10-30 | 0 |
|
|
Chain-of-Thought-Coder:通过自优化可执行思维链增强代码生成 merge • abs/2411.05051 • 2025-10-26 | 0 |
|
|
OpenAI o1 推理模型技术报告 craft • abs/2412.16720 • 2025-10-26 | 0 |
|
|
Self-Refine:基于自我反馈的迭代精练推理 shadow • abs/2303.17651 • 2025-10-21 | 0 |
|
|
混合式神经-符号人工智能:提升 LLM 推理能力的综述 crownx • abs/2508.13678 • 2025-10-20 | 0 |
|
|
Chain-of-Reasoning:统一自然语言与符号推理的多范式框架 aurora • abs/2501.11110 • 2025-10-18 | 0 |
|
|
Logic-LM:结合符号求解器提升 LLM 逻辑推理能力 civic • abs/2305.12295 • 2025-10-18 | 0 |
|
|
最坏情况符号约束分析:将 LLM 与 SMT 结合的程序推理方法 fieldx • abs/2506.08171 • 2025-10-17 | 0 |
|
|
CodePlan:通过代码形式计划提升 LLM 推理能力 nine • abs/2409.12452 • 2025-10-17 | 0 |
|
|
CRPE:扩展大语言模型的代码推理能力 dairy • abs/2505.10594 • 2025-10-16 | 0 |
|
|
NExT:通过执行轨迹推理提升代码理解与修复能力 quadrillion • abs/2404.14662 • 2025-10-16 | 0 |
|
|
CodeMind:挑战大模型代码推理的评估框架 seventy • abs/2402.09664 • 2025-10-15 | 0 |
|
|
SemCoder:通过全面语义推理训练代码大模型 cobaltix • abs/2406.01006 • 2025-10-13 | 0 |
|
|
Reflexion:基于自我反思的推理增强方法 eight • abs/2303.11366 • 2025-10-13 | 0 |
|
|
ReAct:推理与行动结合的大模型框架 doubao • abs/2210.03629 • 2025-10-12 | 0 |
|
|
Tree of Thoughts:基于搜索的推理增强框架 factor • abs/2305.10601 • 2025-10-11 | 0 |