| 查看: 610 | 回复: 0 | |||
[交流]
真诚寻找lean玩家
|
现有一款涉及数学的大模型基础数据构建，寻找会使用lean的数学大牛来参与。有意者私信我 |
回复此楼» 猜你喜欢
磺酰氟产物，毕不了业了！
已经有4人回复
-
论文终于录用啦！满足毕业条件了
已经有16人回复
-
求个博导看看
已经有19人回复
-
投稿Elsevier的杂志（返修），总是在选择OA和subscription界面被踢皮球
已经有8人回复