Post-training 從聊天走到 Agent:公開材料導讀|Stanford CS329A 第 9 堂
聊天模型的獎勵看單則回覆像不像人喜歡的答案;Agent 的獎勵要看多步操作後任務有沒有真的完成,兩者需要的資料與環境不同。
聊天模型的獎勵看單則回覆像不像人喜歡的答案;Agent 的獎勵要看多步操作後任務有沒有真的完成,兩者需要的資料與環境不同。
推理是輸入與輸出之間的中間 token;RL 微調勝過模仿人類解答的關鍵是可靠的驗證器,多次取樣再選最常見的答案能再往上推。
AlphaGeometry2 靠符號引擎、AlphaProof 靠 Lean 驗證,2024 年合計 28 分;2025 年 Gemini Deep Think 用自然語言拿 35 分,驗證改由人類閱卷。
Laskin 的判斷是工程師八成時間在理解系統而不是寫程式;而 RL 能走多遠取決於有沒有乾淨的獎勵,這個問題他認為和超級智慧一樣難。
VLA 在視覺語言模型上加一個動作模組;讓動作模組的梯度回傳會損害語言理解,knowledge insulation 的作法是擋住梯度;π0.5 則用網路資料與多種機器人資料一起訓練來換取泛化。
Agent 要能根據可信回饋修正行動;同一次任務做得更好,不代表模型權重已經學會。
開放式演化改的是 agent 程式與流程;archive 保留不同分支,保留測試再檢查泛化。
多個程式候選仍需需求反例來挑選;先通過正確性檢查,速度提升才有意義。
取回管理、訓練 KV 表示與 cache 重用處理不同瓶頸;速度與命中率都不保證資料新鮮。
多產生候選只能提高正解出現的機會;可信的選擇器才把機會變成實際成功。
最後答案正確不代表推導成立;步驟回饋能定位錯誤,驗證器本身仍需檢查。
外部觀察、執行測試與原則批評提供不同回饋;先辨認訊號,再決定修正或訓練。
多步驟任務要區分搜尋、平行執行與訓練;子任務產物必須支撐原任務的成功條件。
組內回饋必須能區分好壞;正解篩選、相對優勢與取樣策略,決定訓練是否真的得到有用訊號。
候選搜尋解決選擇問題,文件檢索補知識缺口;兩者都需要保留規格與可檢查的依據。
人類任務時長、成品品質與引用支持率回答不同問題;長任務驗收應同時檢查流程與交付物。
多樣性、驗證、資料選擇與效率是不同瓶頸;研究計畫要有保留測試與足以推翻假說的條件。
產生正確候選與辨認正確候選是兩種能力。系列依 Autumn 2025 課表,以一篇總覽與十七篇逐堂導讀串起十七個內容場次,其中五場客座沒有公開材料,改用講者類似題目的公開材料;影片 Part 7–9 對應原課第 8、17、20 堂。