应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 计算数学 » 寻求会lean4的你参与大模型项目
11/1返回列表
查看: 783  |  回复: 0
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

喜喜来了了了

新虫 (初入文坛)

[交流] 寻求会lean4的你参与大模型项目

要求：擅长lean4形式化证明，数论
项目：数学形式化大模型项目
有兴趣的私信我，谢谢大家

发自小木虫IOS客户端
回复此楼

» 猜你喜欢
1楼 2024-11-08 15:16:27
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 喜喜来了了了 的主题更新
11/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
信息提示
关闭
请填处理意见
关闭