| 查看: 577 | 回复: 0 | |||
[交流]
寻找会使用lean4的大神
|
|
参与形式化数学大模型项目。有兴趣的私信我 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
康复大学泰山学者周祺惠团队招收博士研究生
已经有6人回复
-
AI论文写作工具：是科研加速器还是学术作弊器？
已经有3人回复
-
孩子确诊有中度注意力缺陷
已经有6人回复
-
2026博士申请-功能高分子，水凝胶方向
已经有6人回复
-
论文投稿，期刊推荐
已经有4人回复
-
硕士和导师闹得不愉快
已经有13人回复
-
请问2026国家基金面上项目会启动申2停1吗
已经有5人回复
-
同一篇文章，用不同账号投稿对编辑决定是否送审有没有影响？
已经有3人回复
-
ACS Applied Polymer Materials投稿
已经有10人回复
-
RSC ADV状态问题
已经有4人回复
