1:14:08Adv. LLM Agents MOOC | UC Berkeley CS294-280 Sp25 | AlphaProof RL Meets Formal Math by Thomas Hubert
A 74-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley CS294-280 Sp25 | AlphaProof RL Meets Formal Math by Thomas Hubert”.
42.1K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
1:14:08A 74-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley CS294-280 Sp25 | AlphaProof RL Meets Formal Math by Thomas Hubert”.
1:12:12Advanced
A 72-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley CS294-280 Sp25 | Informal+Formal MathReasoning by Sean Welleck”.
1:16:47Advanced
A 77-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley CS294-280 Sp25 | Learning to Reason with LLMs by Jason Weston”.
1:50:44Advanced
A 111-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley CS294-280 Sp25 | Towards Safe & Secure Agentic AI by Dawn Song”.
1:27:38Advanced
A 88-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | Abstraction, Discovery w/ LLM Agents by Swarat Chaudhuri”.
1:27:03Advanced
A 87-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | Code Agents & AI Vulnerability Detection by Charles Sutton”.
1:21:32Advanced
A 82-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | Inference-Time Techniques for LLM Reasoning by Xinyun Chen”.
52:07Advanced
A 52-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | LMs for Autoformalization+Theorem Proving by Kaiyu Yang”.
1:28:22Advanced
A 88-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | Multimodal Agents – Perception to Action by Caiming Xiong”.
1:17:42Advanced
A 78-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | Multimodal Autonomous AI Agents by Ruslan Salakhutdinov”.
1:20:53Advanced
A 81-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | Open Training Recipes: LLM Reasoning by Hanna Hajishirzi”.
1:32:39Advanced
A 93-minute video from Berkeley RDI: “Adv. LLM Agents MOOC | UC Berkeley Sp25 | Reasoning, Memory & Planning of Language Agents by Yu Su”.
58:59A 59-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 F25 | Multi-Agent Systems in Era of LLMs by Oriol Vinyals”.
1:01:16A 61-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | AI Agents to Automate Science by James Zou”.
1:48:50Advanced
A 109-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | Agentic AI Safety & Security by Dawn Song”.
1:01:42Advanced
A 62-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | Autonomous Agents by Peter Stone”.
1:19:32Advanced
A 80-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | Evolution of System Designs by Yangqing Jia”.
1:58:21Advanced
A 118-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | LLM Agents Overview by Yann Dubois”.
54:50A 55-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | Multi-Agent AI by Noam Brown”.
1:17:29A 77-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | Post-Training Verifiable Agents by Jiantao Jiao”.
44:04A 44-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | Predictable Noise in LLM Benchmarks by Sida Wang”.
1:04:37A 65-minute video from Berkeley RDI: “Agentic AI MOOC | UC Berkeley CS294-196 Fall 2025 | Training Agentic Models by Weizhu Chen”.
1:04:49A 65-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley CS294-196 Fa24 | Agentic AI Frameworks/AutoGen & Multimodal Assistant”.
1:00:42A 61-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley CS294-196 Fall 2024 | Agents for Software Development by Graham Neubig”.
1:04:58A 65-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley CS294-196 Fall 2024 | Compound AI Sys & DSPy Framework by Omar Khattab”.
1:08:44A 69-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley CS294-196 Fall 2024 | LLM Agents: History & Overview by Shunyu Yao”.
1:04:03Advanced
A 64-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley CS294-196 Fall 2024 | LLM Reasoning by Denny Zhou”.
1:09:45A 70-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley Fa24 | Neural & Symbolic Decision Making Framework by Yuandong Tian”.
1:10:56A 71-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley Fall 2024 | AI Agents for Enterprise Workflows by Nicolas Chapados”.
1:02:37A 63-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley Fall 2024 | Enterprise GenAI Trends & AI Agents by Burak Gokturk”.
52:50A 53-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley Fall 2024 | Open Source & Science w/ Foundation Models by Percy Liang”.
56:14A 56-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley Fall 2024 | Project GR00T Generalist Robotics Blueprint by Jim Fan”.
1:44:10A 104-minute video from Berkeley RDI: “LLM Agents MOOC | UC Berkeley Fall 2024 | Safe AI Agents + Evidence-based AI Policy by Dawn Song”.
1:21:27A 81-minute video from Berkeley RDI: “ZKP MOOC Lecture 10: Recursive SNARKs”.
1:34:28A 94-minute video from Berkeley RDI: “ZKP MOOC Lecture 11: From Practice to Theory”.
1:42:43A 103-minute video from Berkeley RDI: “ZKP MOOC Lecture 12: zkEVM Design, Optimization and Applications”.