Toward Reliable Agent Development
Verification is the bottleneck between fragile prototypes and scalable, reliable agent systems. This workshop convenes researchers and practitioners to make verification a first-class discipline.
Submissions due Aug 29, 2026 (AoE)
Agents that reason, plan, and act in open-ended environments are advancing at a remarkable pace. Yet a basic question has become surprisingly hard to answer: when we update an agent's prompt, add a new tool, or change its reasoning strategy, did it actually get better?
Answering that question is verification. Today it works well only where ground truth is clear, such as formal mathematics, competitive programming, and software tests. For general agentic tasks, verification signals remain shallow and noisy: improvements plateau, regressions slip through silently, and development turns into guesswork.
This workshop treats verification as a first-class research problem. We bring together researchers and practitioners working on robust verifiers, environment-grounded evaluation, and richer verification signals to lay the foundations of reliable agent development.

Scalable, self-improving AI; AlphaChip and Mixture-of-Experts.

Systems for AI at Berkeley: Ray, Spark, vLLM, Chatbot Arena.

Verified distributed systems; coordination synthesis and mechanized proofs.
We invite submissions across three core pillars, as well as topics at their intersection:
Submissions and reviewing are handled through OpenReview.
We are assembling the program committee and welcome researchers and practitioners working on agents, evaluation, and verification.
The workshop will be held on Saturday, December 12, 2026. All deadlines are 23:59 Anywhere on Earth (AoE) unless otherwise noted.
| Time | Session | Speaker(s) |
|---|---|---|
| 09:00–09:10 | Opening remarks | Organizers |
| 09:10–09:35 | Invited talk | Yu Su |
| 09:35–10:00 | Invited talk | Ion Stoica |
| 10:00–10:30 | Oral session I (3 × 10 min) | TBD |
| 10:30–10:55 | Invited talk | Pin-Yu Chen |
| 11:00–12:00 | Poster session I | |
| 12:00–13:00 | Lunch | |
| 13:00–13:25 | Invited talk | Azalia Mirhoseini |
| 13:25–13:50 | Invited talk | Seshendra Nalla |
| 13:50–14:15 | Invited talk | Dhaval Patel |
| 14:15–14:45 | Oral session II (3 × 10 min) | TBD |
| 14:45–15:45 | Coffee + poster session II | |
| 15:45–16:30 | Panel: “What can’t we verify yet, and what would it take?” | TBD |
| 16:30–16:45 | What I changed my mind about / Research discussion | Audience |
| 16:45–16:55 | Closing remarks and awards | Organizers |
All times are local Sydney time (AEDT) on Saturday, December 12, 2026.

Email verify-agents-workshop@googlegroups.com with your OpenReview profile, submission number(s), and a concise description of the issue.
No mystery is solved until it's verified. 🐾