On the Role of Verifiers and Thinking Traces in Reasoning Models (Keynote@ICML2026 LM4Plan Wkshp)

Lecture 2: Overview of Planning, Planning in Atomic States: STRIPS--PDDL planning

Lecture 3: Progression, Regression, Plan-Space Search, MEA, Heuristics

Lecture 4: Plan Space Planning, Heuristics for Planning

Lecture 5: Planning Graphs/Heuristics/CSP Connections

Lecture 7: Temporal Planning (1)

Lecture 8: Temporal Planning (2)

Lecture 9: Hierarchy & Abstraction

Lecture 10: RL & Planning (1)

Lecture 11: RL & Planning (2)

Lecture 12: RL & Planning (3)

Lecture 13: Explainable/Human-Aware Planning (1)

Lecture 14: Explainable/Human-Aware Planning (2)

Lecture 15: Course Reflections Summary + AMA

Lecture 1: Part 2: Course Introduction

Lecture 1: Part 1 Course Introduction

What does XAI mean in the era of LLMs? (Keynote @ ICLR 2026 Unified Concept Representations wkshp)

On the Centrality of Verifiers in the Quest of Robust LLM Reasoning & Planning (GaTech FoAI Seminar)

Role of LLMs in Human-AI Interaction (Keynote @ IEEE CogSIMA 2026)

Planning & Reasoning Abilities of LLMs/LRMs (Lecture 2 @ Melbourne ML Summer School 2026)

Planning & Reasoning Abilities of LLMs/LRMs (Lecture 1 @ Melbourne ML Summer School 2026)

Anthropomorphization Sins in Modern AI (or Perils of Prematurely Applying Lens of Cognition to LLMs)

On the Mythos of LRM "Thinking Tokens" (Talk @ Microsoft Research, India; 12/16/2025)

(How) Do LLMs Reason? (Keynote @ PReMI 2025, IIT Delhi, India)

Talk on the semantics of "Thinking Traces" (Keynote at NeurIPS2025 MAR Workshop)

Role of LLMs in Human-AI Interaction: A Critical Appraisal (Siddhant Bhambri ASU PhD Defense)

On the Role of Large Language Models in Planning (Karthik Valmeekam's ASU PhD Defense) 11/19/2025

LRMs and Agentic AI (Talk at Samsung AI Forum)

The State of AI Research (talk given at UANL, Monterrey, Mexico)

(How) Do LLMs Reason? (Talk given at MILA/ChandarLab)

Scaling Large Language Models with LLM-Modulo (Atharva Gundawar MS Defense)

Reasoning/Planning Abilities of LLMs/LRMs (ACDL Lecture 3)

Reasoning/Planning Abilities of LLMs/LRMs (ACDL Lecture 2)

Reasoning/Planning Abilities of LLMs/LRMs (ACDL Lecture 1)

Will Cushing IJCAI 2007 WOW moment..

(How) Do LLMs Reason/Plan? (Talk given at Microsoft Research; 4/11/25)

On the role of Large Language Models in Planning (Karthik Valmeekam's PhD Proposal)

Can We Make Machine Learning Safe For Safety-Critical Systems? (Tom Dietterich @ASU SCAI)

From System 1 LLMs to System 1+2 LRMs? The Quest to Tease Planning and Reasoning out of LLMs

T(w)eaching AI in the Age of LLMs (AAAI/EAAI Outstanding Educator Award Talk)

Can LLMs Reason & Plan? (Keynote at KR 2024; Hanoi)

Taming the Sample Complexity in Agentifying AI Systems by Exploiting Explicit Human Knowledge

AI Reasoning Panel

LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks (NeUS Invited Talk)

LLM-Modulo Frameworks as Compound AI Architectures for Robust Planning (& Reasoning)

Can LLMs Reason and Plan? (CLunch Seminar @UPENN NLP)

CSE574 Fall 2024: Lecture 2: Atomic and State Space Transition Models for Planning

CSE574/Fall 2024: Lecture 1: Introduction to Planning

CSE574: Planning & Learning Lecture 3 (Planning methods)

Guidance Priors to Reduce Human Feedback Burden in Sequential Decision Making

ACL 2024 Keynote: Can LLMs Reason & Plan?

On the Role of LLMs in Planning (ICML 2024 Tutorial)

Guidance Priors to Reduce Human Feedback Burden in Sequential Decisiom Making (Mudit Verma)

Demystifying LLMs (AI Frontiers webinar at PanIIT USA Forum)

Can LLMs Reason & Plan? (Talk @Google DeepMind LLM Reasoning Seminar)

AI, Law & The Courts (Presentation to AZ Supreme Court Steering Committee on AI)

Can LLMs Reason & Plan?

Towards more accessible Human-AI Interactions in Sequential decision-making tasks

AAAI 2024 Plenary Panel on LLM Implications

On the Role of Large Language Models in Planning (AAAI 2024 Tutorial: Part 2)