Agentic AI：用形式方法處理幻覺｜Stanford CS224V 課程總覽
CS224V 是 Stanford 的 Agentic AI 課：教怎麼用形式語意、知識圖譜與形式方法約束 LLM agent，讓它少編造，兩份作業之後以專案為主。十四堂講義、閱讀清單、作業講義與課程用到的開源系統（STORM、WikiChat、SUQL、Genie Worksheets）都公開；沒有公開錄影，公開的投影片是刻意留白的版本，作業要用的憑證也只發給選課學生。
15 篇文章
Stanford CS224V Agentic AI 導讀
逐單元讀 Stanford CS224V 的明確學期版本：對話式虛擬助理的理解、對話管理、生成、評估與部署。
系列導讀
用計算思維把會幻覺的 LLM 變成可靠助理｜Stanford CS224V 第 1 堂
Fall 2025 第一講把 CS224V 的主線定成計算思維：不要期待一次提示解決可靠性，而要把檢索、形式表示、查核與生成拆成可測試的演算法。
STORM 與 Co-STORM 怎麼把搜尋變成知識策展｜Stanford CS224V 第 2 堂
STORM 用觀點引導的提問、模擬訪談與大綱建立改善研究廣度；Co-STORM 再把人放進迴圈，讓探索未知問題與共同編修成為系統的一部分。
用 Genie Worksheets 建立不亂編動作的任務型 Agent｜Stanford CS224V 第 3 堂
Genie Worksheets 把任務能力宣告成表單式規格，讓 contextual semantic parser 只更新形式對話狀態；查詢、動作與回應由 runtime 依規格執行。
任務型 Agent 評估不能只看回答像不像人｜Stanford CS224V 第 4 堂
CS224V 把任務型 agent 評估拆成狀態更新與完整互動：先測 semantic parser，再讓真人檢查任務完成、知識查詢與動作是否可靠。
WikiChat 的七階段 RAG 如何逐條攔下幻覺｜Stanford CS224V 第 5 堂
WikiChat 不把檢索結果直接交給一次生成，而是形成查詢、檢索、過濾、生成、拆主張、再檢索查核與移除無根據內容，並把檢索與事實性分開評估。
資料庫 Agent 為什麼要先做語意剖析｜Stanford CS224V 第 6 堂
結構化資料 agent 的可靠路線是把自然語言轉成可執行查詢、處理 schema 與列舉值，再把 query execution 和回答生成分開評估；混合資料則要先判斷該走資料庫還是文字檢索。
SUQL 把 SQL 與自由文字檢索放進同一個查詢語言｜Stanford CS224V 第 7 堂
SUQL 在 SQL 裡加入 answer 與 summary 兩種自由文字函式，semantic parser 產生一個混合查詢，再由 compiler 做 predicate pushdown、top-k 與 lazy evaluation。
SLIDERS 如何用自動 schema 分析一整組長文件｜Stanford CS224V 第 8 堂
SLIDERS 不讓模型直接吞完所有長文件，而是從問題誘導 schema、做語意切塊與情境化擷取、協調重複列，再用 SUQL 查詢產生答案。
自動質性編碼為什麼需要 codebook、型別與人工覆核｜Stanford CS224V 第 9 堂
自動質性編碼先以 codebook 定義事件型別與 arguments，再把長文分類、結構化抽取和 entity linking 分開；受約束 JSON 能保格式，仍不能取代領域專家的覆核。
SPINACH Agent 如何逐步探索 Wikidata 並寫 SPARQL｜Stanford CS224V 第 10 堂
SPINACH 不一次猜完整 SPARQL，而是搜尋 entity/property、查看 Wikidata entry 與 property examples、執行小查詢，再逐步組合完整查詢；action set 與停止規則是可靠性的核心。
把臨床試驗條件翻成 SMT，而不是讓 LLM 直接判資格｜Stanford CS224V 第 11 堂
這堂把病人紀錄與試驗條件各自轉成 SMT，先以較弱的命題邏輯投影做大規模候選檢索，再用 solver 檢查候選；推理可解釋，但 NL-to-SMT 仍是主要錯誤入口。
CHURRO 如何讓多語歷史文件變成可搜尋文字｜Stanford CS224V 第 12 堂
CHURRO 以 HDML 表示整頁文字、版面與 metadata，整合跨世紀多語資料訓練 page-level VLM，再把輸出接到 HistoryGenie，讓檔案館材料能被檢索與對話。
ReactGenie 如何讓語音命令與原生 GUI 共用同一個狀態｜Stanford CS224V 第 13 堂
ReactGenie 以 React 元件加 annotations 暴露資料、動作與視圖，將複合語音命令解析成 DSL，並在同一份 UI context 中產生原生圖形輸出。
資料受限時，語言模型還能怎麼擴展｜Stanford CS224V 第 14 堂
最後一講不是完整 LLM 訓練教學，而是資料效率研究：在 compute 充足、資料固定時重看 epochs、batch、ensemble 與 self-training，再研究 synthetic continued pretraining 的可擴展條件。