| 查看: 599 | 回复: 0 | |||
[交流]
寻求会lean4的你参与大模型项目
|
|
要求：擅长lean4形式化证明，数论 项目：数学形式化大模型项目 有兴趣的私信我，谢谢大家 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
什么是人一生最重要的？
已经有3人回复
-
过年走亲戚时感受到了所开私家车的鄙视链
已经有10人回复
-
今年春晚有几个节目很不错，点赞！
已经有12人回复
-
情人节自我反思：在爱情中有过遗憾吗？
已经有13人回复
-
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有12人回复
-
基金正文30页指的是报告正文还是整个申请书
已经有5人回复