Agentic AI MOOC Fall 2025 - video 09 - 1:17:28

Post-training verifiable agents

Agents need training signals for long tasks, but many useful tasks do not have obvious step-by-step labels.

RLVRverifiersevaluation
Post-Training Verifiable Agents by Jiantao Jiao

Problem-first learning

The problem this lecture is trying to solve

Agents need training signals for long tasks, but many useful tasks do not have obvious step-by-step labels.

Lowest-level failure mode

The useful unit of feedback is often verifiable outcome, not the hidden trajectory.

Frontier update

Coding, browsing, theorem proving, and data tasks increasingly use verifiable rewards and benchmark mutation to resist memorization.

Transcript-grounded route

How the lecture unfolds

This is built from 1,619 caption segments. Use the timestamp buttons to jump into the original video when a term feels fuzzy.

0:00-12:54

Pass 1: That

The lecture segment repeatedly returns to that, very, human, different, they. Treat this part as the board-work for the mechanism, not as a definition list.

Write one line that connects the terms to the central failure mode: The useful unit of feedback is often verifiable outcome, not the hidden trajectory.

12:54-25:51

Pass 2: That

The lecture segment repeatedly returns to that, very, verifiers, actually, different. Treat this part as the board-work for the mechanism, not as a definition list.

Write one line that connects the terms to the central failure mode: The useful unit of feedback is often verifiable outcome, not the hidden trajectory.

25:51-38:47

Pass 3: That

The lecture segment repeatedly returns to that, very, different, evaluation, actually. Treat this part as the board-work for the mechanism, not as a definition list.

Write one line that connects the terms to the central failure mode: The useful unit of feedback is often verifiable outcome, not the hidden trajectory.

38:47-51:40

Pass 4: That

The lecture segment repeatedly returns to that, very, what, different, actually. Treat this part as the board-work for the mechanism, not as a definition list.

Write one line that connects the terms to the central failure mode: The useful unit of feedback is often verifiable outcome, not the hidden trajectory.

51:40-1:04:34

Pass 5: That

The lecture segment repeatedly returns to that, very, actually, entropy, many. Treat this part as the board-work for the mechanism, not as a definition list.

Write one line that connects the terms to the central failure mode: The useful unit of feedback is often verifiable outcome, not the hidden trajectory.

1:04:34-1:17:29

Pass 6: That

The lecture segment repeatedly returns to that, very, actually, different, what. Treat this part as the board-work for the mechanism, not as a definition list.

Write one line that connects the terms to the central failure mode: The useful unit of feedback is often verifiable outcome, not the hidden trajectory.

Build the mental model

What you should understand after this lecture

1. Start from the bottleneck

Agents need training signals for long tasks, but many useful tasks do not have obvious step-by-step labels. The lecture is useful because it does not treat this as a naming problem. It asks what breaks at the operational level and what design pattern removes that break.

2. Name the moving parts

The recurring vocabulary in the transcript is that, very, different, actually, many, what. When studying, do not memorize these as separate buzzwords. Ask what state is stored, what action is chosen, what feedback is observed, and what verifier decides whether progress happened.

3. Convert the idea into an architecture

Use tasks with checkable final states whenever possible. Reward processes that produce executable, testable, or cited artifacts. Evaluation can become training data when the verifier is reliable. In exam or interview answers, this becomes a four-part answer: objective, loop, control boundary, evaluation.

4. Know the failure case

The useful unit of feedback is often verifiable outcome, not the hidden trajectory. If you cannot say how the proposed system fails, the explanation is still shallow. Always include the failure it prevents and the new cost it introduces.

Concept weave

Ideas to remember

  1. Use tasks with checkable final states whenever possible.
  2. Reward processes that produce executable, testable, or cited artifacts.
  3. Evaluation can become training data when the verifier is reliable.

Visual model

Agent system view

Use the graph to ask where the intelligence really lives: model, memory, tools, environment, verifier, or orchestration.

Written practice

Questions that make the idea stick

Drill 1Turn a vague task into a verifiable agent task.
  1. Define the end artifact.
  2. Write a checker or rubric.
  3. Add adversarial cases where shortcut behavior fails.
Drill 2Why can verifiers beat preference labels?
  1. They are cheaper at scale.
  2. They reduce subjective grading.
  3. They support self-improvement loops.

Written answer pattern

How to write this under pressure

ClaimPost-training verifiable agents solves a concrete control problem, not just a prompt-writing problem.
MechanismState the loop: observe state, choose action/tool, get feedback, update memory or plan, stop using a verifier.
Why it worksIt makes the hidden failure mode visible: The useful unit of feedback is often verifiable outcome, not the hidden trajectory.
TradeoffExtra orchestration improves reliability only if evaluation, cost, and authority boundaries are explicit.

Build skill

How to apply this in your own agent

  1. Write the concrete task and the failure mode before choosing any framework.
  2. Choose the smallest architecture that handles the failure: workflow, single agent, orchestrator-worker, or evaluator loop.
  3. Define tool schemas, memory boundaries, and a success checker.
  4. Run a small eval set with failure labels, cost, latency, and trace review.

Source route

Original course links and readings

Page generated from 1,619 YouTube captions. Raw transcript files are kept out of the public site; this page publishes study notes, timestamp routes, and paraphrased explanations.