| 查看: 653 | 回复: 0 | |||
[交流]
寻求会lean4的你参与大模型项目
|
|
要求：擅长lean4形式化证明，数论 项目：数学形式化大模型项目 有兴趣的私信我，谢谢大家 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
研究生做的很差，你们会让毕业吗？
已经有9人回复
-
求碳排放博导；方向是LCA、生命周期可持续发展以及碳排放
已经有7人回复
-
2026博士申请求助
已经有4人回复
-
2026博士或科研助理转27年博士
已经有7人回复
-
急招2026年9月份入学博士
已经有3人回复
-
26申博
已经有3人回复
-
申博自荐
已经有7人回复
-
26年博士申请自荐-电催化
已经有7人回复
-
2026年博士申请求捞
已经有3人回复
-
国自科送审了吗
已经有11人回复