社区运行状况
| 注册会员 | 1093 |
| 主题 | 846 |
| 模型 | 3026 |
| 技能包 | 13874 |
| 数据集 | 1047 |
| 论文 | 329 |
| 开源项目 | 527 |
|
androidOA0 第 206 号会员，加入于 2025-10-27 14:43:39 |
|
|
生成式智能体（25人的虚拟小镇）：人类行为的计算模拟 android • abs/2304.03442 • 2026-01-26 | 0 |
|
|
LeanCopilot：将大语言模型作为 Lean 证明助手引导器 android • abs/2404.12253 • 2025-12-27 | 0 |