Invited talk Oct 29, 2026 · Online

Making AI Reasoning and Actions More Reliable with SMT and Lean

[Online] AI Horizons · NUS Artificial Intelligence Institute

Opening

PPTX

← → navigate F present G all slides type a number + Enter to jump

About this talk

Language models give convincing answers, but how do we check that their reasoning is correct? The talk follows one question from natural language to a solver-checked result: translating claims into logical constraints that SMT solvers such as Z3 can check, using solver feedback to revise answers, and detecting when the translation itself is wrong. It closes with Lean-verified policy checkers that evaluate an agent’s tool calls before they execute.

Venue: NUS Artificial Intelligence Institute
Series: [Online] AI Horizons
Date: Oct 29, 2026
Format: Online
Host: Dr Dianbo Liu, National University of Singapore
Slides: 101 · PowerPoint, 4.8 MB
Event: Event page

Cite this talk

@misc{singh2026reliableaitalk,
  title={Making {AI} Reasoning and Actions More Reliable with {SMT} and {Lean}},
  author={Vikash Singh},
  howpublished={Invited talk, AI Horizons series, NUS Artificial Intelligence Institute (online)},
  month=oct,
  year={2026},
  note={Slides},
  url={https://vikash-singh.me/talks/formal-verification-reliable-ai}
}