ucb_agentic_ai

CS294/194-280 Spring 2025 Advanced Large Language Model Agents

Public MOOC website: agenticai-learning.org/sp25

Course website: rdi.berkeley.edu/adv-llm-agents/sp25

Link to playlist on YouTube

Lecture Title Speaker
01 Inference-Time Techniques for LLM Reasoning Xinyun Chen
02 Learning to Self-Improve & Reason with LLMs Jason Weston
03 On Reasoning, Memory, and Planning of Language Agents Yu Su
04 Open Training Recipes for Reasoning in Language Models Hannaneh Hajishirzi
05 Coding Agents and AI for Vulnerability Detection Charles Sutton
06 Multimodal Autonomous AI Agents Ruslan Salakhutdinov
07 Multimodal Agents – From Perception to Action Caiming Xiong
08 AlphaProof: When Reinforcement Learning Meets Formal Mathematics Thomas Hubert
09 Language Models for Autoformalization and Theorem Proving Kaiyu Yang
10 Bridging Informal and Formal Mathematics Reasoning Sean Welleck
11 Abstraction and Discovery with Large Language Model Agents Swarat Chaudhuri
12 Towards Building Safe and Secure Agentic AI Dawn Song