社区运行状况
| 注册会员 | 1054 |
| 主题 | 579 |
| 模型 | 3026 |
| 技能包 | 13874 |
| 数据集 | 1047 |
| 论文 | 272 |
| 开源项目 | 469 |
|
LeanDojo：形式化定理证明中的机器证明与搜索 globe • abs/2306.15626 • 2025-11-20 | 0 |
|
SWE-bench：评估大语言模型解决软件工程问题的基准 ghost • abs/2310.06770 • 2025-11-19 | 0 |
|
InterCode：交互式代码生成与推理的框架基准 deep • abs/2306.09896 • 2025-11-17 | 0 |
|
RepoCoder：基于迭代检索生成的仓库级代码补全 bamboo • abs/2303.12570 • 2025-11-17 | 0 |
|
Voyager：具有终身学习能力的开放世界具身智能体 alloy • abs/2305.16291 • 2025-11-14 | 0 |
|
Toolformer：语言模型可以自我学习使用外部工具 llm • abs/2302.04761 • 2025-11-11 | 0 |
|
PAL：程序辅助语言模型 captainx • abs/2211.10435 • 2025-11-11 | 0 |
|
思维程序 (PoT)：利用代码执行解决数值推理问题 midjourney • abs/2211.12588 • 2025-11-10 | 0 |
|
思维传播：在大语言模型中利用类比推理进行复杂推理 library • abs/2310.03965 • 2025-11-09 | 0 |
|
累积推理：通过思维积累解决复杂任务 ocean • abs/2308.04371 • 2025-11-08 | 0 |
|
语言模型即规划者：基于蒙特卡洛树搜索的推理增强 (RAP) integration • abs/2305.14992 • 2025-11-08 | 0 |
|
Quiet-STaR：大语言模型在思考时学习推理 digitx • abs/2403.09629 • 2025-11-03 | 0 |
|
STaR：自学式推理者，通过自我生成理由进行学习 forty • abs/2203.14465 • 2025-11-03 | 0 |
|
思维链提示：在大语言模型中诱导推理能力 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 |