| 查看: 637 | 回复: 0 | |||
[交流]
寻求会lean4的你参与大模型项目
|
|
要求:擅长lean4形式化证明,数论 项目:数学形式化大模型项目 有兴趣的私信我,谢谢大家 发自小木虫IOS客户端 |
» 猜你喜欢
269求调剂
已经有3人回复
318求调剂
已经有5人回复
电子信息270求调剂
已经有5人回复
专硕085403,291分,有两篇专利,一国一奖
已经有3人回复
312求调剂
已经有20人回复
290求调剂085701
已经有16人回复
081200-11408-276学硕求调剂
已经有5人回复
327求调剂
已经有5人回复
一志愿085404,总分291,四级已过,求调剂
已经有8人回复
285求调剂
已经有16人回复














回复此楼