| 1 | 1/1 | 返回列表 |
| 查看: 642 | 回復: 0 | |||
[交流]
真誠尋找lean玩家
|
現(xiàn)有一款涉及數(shù)學的大模型基礎數(shù)據(jù)構(gòu)建,尋找會使用lean的數(shù)學大牛來參與。有意者私信我 |
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 歡迎211本科同學,過A區(qū)國家線,A區(qū)非偏遠一本,交叉學科課題組 +22 | lisimayy 2026-03-04 | 35/1750 |
|
|---|---|---|---|---|
|
[考研] 數(shù)二英二309分請求調(diào)劑 +3 | dtdxzxx 2026-03-09 | 4/200 |
|
|
[考研] 310 070300化學求調(diào)劑 +4 | 撲風鈴的貓 2026-03-08 | 5/250 |
|
|
[考研] A區(qū)一本交叉課題組,低分調(diào)劑,招收機械電子信息通信等交叉方向 +54 | lisimayy 2026-03-04 | 67/3350 |
|
|
[考研] 070300化學求調(diào)劑 +5 | 撲風鈴的貓 2026-03-08 | 10/500 |
|
|
[考博] 申博 +5 | 添菜了哈 2026-03-04 | 8/400 |
|
|
[考研] 材料調(diào)劑 +4 | xxxcm 2026-03-08 | 7/350 |
|
|
[考研] 0817找調(diào)劑 +6 | kk扛 2026-03-08 | 6/300 |
|
|
[考研] 324求調(diào)劑 +9 | wxz2 2026-03-03 | 13/650 |
|
|
[考研] 0701-322 求調(diào)劑 +3 | jiliuxian 2026-03-06 | 8/400 |
|
|
[考研] 求調(diào)劑 +3 | 拾柒12。 2026-03-08 | 3/150 |
|
|
[考研] 085701環(huán)境工程專業(yè),初試305,均過國家A區(qū)線 +7 | 卡卡來了@ 2026-03-07 | 8/400 |
|
|
[考研] 0703化學調(diào)劑 +5 | G212 2026-03-03 | 6/300 |
|
|
[考研] 哈爾濱理工大學2026年研究生調(diào)劑,材料科學與化學工程學院研究生調(diào)劑 +3 | xinliu866 2026-03-06 | 3/150 |
|
|
[考博] 2026年博士名額撿漏 +4 | 科研ya 2026-03-04 | 7/350 |
|
|
[考研] 275求調(diào)劑 +4 | 大爆炸難民 2026-03-06 | 5/250 |
|
|
[考博] 2026申博自薦 六級440電催化方向 +4 | 櫻落成影花成雙 2026-03-05 | 4/200 |
|
|
[考研] 化學 0703求調(diào)劑 總分293 一志愿211 +9 | 土土小蟲 2026-03-03 | 11/550 |
|
|
[考研] 一志愿武漢理工大學-085602-總分296分-求調(diào)劑 +7 | 紫川葡柚 2026-03-04 | 7/350 |
|
|
[考研] 312求調(diào)劑 +8 | 醋精華了一下發(fā)?/a> 2026-03-03 | 10/500 |
|