| 查看: 667 | 回复: 0 | |||
[交流]
寻求会lean4的你参与大模型项目
|
|
要求：擅长lean4形式化证明，数论 项目：数学形式化大模型项目 有兴趣的私信我，谢谢大家 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
航天502所 高瑛珂博士 婚内征婚 欺骗女性开房
已经有17人回复
-
宿州学院学报
已经有6人回复
-
投稿文章被秒拒了
已经有5人回复
-
地球科学部D01口青年基金，最低几A几B几C才能有几率中呀。
已经有3人回复
-
招收2026级博士生
已经有6人回复
-
博士申请
已经有5人回复
-
西安交大新媒学院副院长用撤稿论文结题
已经有7人回复
-
论文撤稿了
已经有9人回复