| 查看: 625 | 回复: 0 | |||
[交流]
真诚寻找lean玩家
|
现有一款涉及数学的大模型基础数据构建，寻找会使用lean的数学大牛来参与。有意者私信我 |
回复此楼» 猜你喜欢
请教限项目规定
已经有5人回复
-
拟解决的关键科学问题还要不要写
已经有8人回复
-
最失望的一年
已经有16人回复
-
存款400万可以在学校里躺平吗
已经有33人回复
-
求助一下有机合成大神
已经有3人回复
-
求推荐英文EI期刊
已经有5人回复
-
26申博
已经有3人回复
-
基金委咋了？2026年的指南还没有出来？
已经有10人回复
-
基金申报
已经有6人回复
-
疑惑？
已经有5人回复