社区运行状况
| 注册会员 | 1203 |
| 主题 | 846 |
| 模型 | 3026 |
| 技能包 | 13874 |
| 数据集 | 1047 |
| 论文 | 378 |
| 开源项目 | 599 |
|
globeOA0 第 372 号会员，加入于 2025-11-24 01:43:42 |
|
|
OpenDevin：面向通用软件工程任务的开放式智能体平台 globe • abs/2407.16741v1 • 2026-05-27 | 0 |
|
|
LeanDojo：形式化定理证明中的机器证明与搜索 globe • abs/2306.15626 • 2025-11-20 | 0 |