CS294 SP25

Advanced LLM Agents

共 12 份讲义，来源：Berkeley RDI。

讲义	日期	资源
[LLM Agents SP25] Safe & Secure Agentic AI — Dawn Song	2025	LaTeX
[LLM Agents SP25] Abstraction & Discovery with LLM Agents — Swarat Chaudhuri	2025	LaTeX
[LLM Agents SP25] Informal+Formal Math Reasoning — Sean Welleck	2025	LaTeX
[LLM Agents SP25] LMs for Autoformalization & Theorem Proving — Kaiyu Yang	2025	LaTeX
[LLM Agents SP25] AlphaProof: RL Meets Formal Mathematics — Thomas Hubert	2025年3月10日	LaTeX
[LLM Agents SP25] Multimodal Agents: Perception to Action	2026-04-02	LaTeX
[LLM Agents SP25] Multimodal Autonomous AI Agents	2026-04-02	LaTeX
[LLM Agents SP25] Code Agents & AI Vulnerability Detection	2026-04-02	LaTeX
[LLM Agents SP25] Open Training Recipes: LLM Reasoning	2026-04-02	LaTeX
[LLM Agents SP25] Reasoning, Memory & Planning of Language Agents	2026-04-02	LaTeX
[LLM Agents SP25] Learning to Reason with LLMs — Jason Weston	2025-02-10	LaTeX
[LLM Agents SP25] Inference-Time Techniques for LLM Reasoning — Xinyun Chen	2025-01-27	LaTeX