CS 7637 - Knowledge-Based AI 是一堂教你用符號推理解決問題的課。 沒有機器學習、沒有模型訓練，但有大量的 Agent 開發和一個讓人又愛又恨的 ARC-AGI 學期專案。