24小时热门版块排行榜

返回列表

喜喜来了了了

新虫 (初入文坛)

应助: 0 (幼儿园)
金币: 157
帖子: 40
在线: 59分钟
虫号: 35605799
注册: 2024-08-23

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

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

发自小木虫IOS客户端

回复此楼

» 猜你喜欢

281求调剂（0805）已经有8人回复
环境领域全国重点实验室招收博士1-2名已经有3人回复
材料专硕306英一数二已经有10人回复
301求调剂已经有6人回复
一志愿天津大学化学工艺专业（081702）315分求调剂已经有7人回复
302求调剂已经有6人回复
26博士申请已经有3人回复
268求调剂已经有3人回复
311求调剂已经有10人回复
被我言中：新模板不强调格式了，假专家开始管格式了已经有4人回复

1楼 2024-11-08 15:16:27

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主喜喜来了了了的主题更新

返回列表

最具人气热帖推荐 [查看全部]		作者	回/看	最后发表

[考研] 材料专硕306英一数二 +8	z1z2z3879 2026-03-16	10/500	2026-03-18 00:01 by 星空星月
[考研] 296求调剂 +5	大口吃饭身体健 2026-03-13	5/250	2026-03-17 21:05 by 不惑可乐
[考研] 299求调剂 +4	△小透明* 2026-03-17	4/200	2026-03-17 20:09 by peike
[考研] 材料工程专硕调剂 +5	204818@lcx 2026-03-17	5/250	2026-03-17 17:27 by Little-xue
[考研] 344求调剂 +4	knight344 2026-03-16	4/200	2026-03-17 17:27 by ruiyingmiao
[考研] 211本，11408一志愿中科院277分，曾在中科院自动化所实习 +6	Losir 2026-03-12	7/350	2026-03-17 12:09 by danranxie
[考研] 302求调剂 +4	小贾同学123 2026-03-15	8/400	2026-03-17 10:33 by 小贾同学123
[考研] 289求调剂 +6	步川酷紫123 2026-03-11	6/300	2026-03-17 10:23 by Sammy2
[考研] 一志愿211 0703方向310分求调剂 +3	努力奋斗112 2026-03-15	3/150	2026-03-16 16:44 by houyaoxu
[考研] 304求调剂 +3	曼殊2266 2026-03-14	3/150	2026-03-16 16:39 by houyaoxu
[考研] 0703化学调剂，求各位老师收留 +8	秋有木北 2026-03-14	8/400	2026-03-16 15:21 by 哦哦123
[考研] 327求调剂 +6	拾光任染 2026-03-15	11/550	2026-03-15 22:47 by 拾光任染
[考研] 328求调剂 +3	5201314Lsy！ 2026-03-13	6/300	2026-03-14 15:31 by hyswxzs
[考研] 求调剂（材料与化工327） +4	爱吃香菜啦 2026-03-11	4/200	2026-03-13 22:11 by JourneyLucky
[考研] 26调剂/材料/英一数二/总分289/已过A区线 +6	步川酷紫123 2026-03-13	6/300	2026-03-13 21:59 by 星空星月
[考研] 0703化学一志愿211 总分320求调剂 +5	玛卡巴卡啊哈 2026-03-11	5/250	2026-03-13 21:40 by JourneyLucky
[考研] 求b区学校调剂 +3	周56 2026-03-11	3/150	2026-03-13 16:20 by JourneyLucky
[考研] 290求调剂 +3	ADT 2026-03-13	3/150	2026-03-13 10:19 by peike
[考研] 化工学硕306求调剂 +9	42838695 2026-03-12	9/450	2026-03-13 10:16 by houyaoxu
[考研] 321求调剂（食品/专硕） +3	xc321 2026-03-12	6/300	2026-03-13 08:45 by xc321