2 papers
cs.AI2026
Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning
Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen +1
We tackle the challenge of building embodied AI agents that can reliably solve long-horizon planning problems. Imitation learning from demonstrations has shown itself to be effecti…
cs.AI2026
Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
Parand A. Alamdari, Toryn Q. Klassen, Sheila A. McIlraith
We examine one particular dimension of AI governance: how to monitor and audit AI-enabled products and services throughout the AI development lifecycle, from pre-deployment testing…