社区运行状况
| 注册会员 | 1032 |
| 主题 | 340 |
| 模型 | 2962 |
| 技能包 | 6701 |
| 数据集 | 1026 |
| 论文 | 228 |
| 开源项目 | 305 |
|
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 |