3 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…
cs.CY2024
Now, Later, and Lasting: Ten Priorities for AI Research, Policy, and Practice
Eric Horvitz, Vincent Conitzer, Sheila McIlraith +1
Advances in artificial intelligence (AI) will transform many aspects of our lives and society, bringing immense opportunities but also posing significant risks and challenges. The…