Poster · Atlanta

Soteria: Formally Verified Planning with Runtime Enforcement for Safe LLM Agents

Name: Soteria: Formally Verified Planning with Runtime Enforcement for Safe LLM Agents
Start: 2026-12-09T10:00:00-05:00
End: 2026-12-09T13:00:00-05:00
Location: Hall C1, Georgia World Congress Center

When: Wed 9 Dec 2026, 10:00–13:00 EST
Where: Hall C1, Georgia World Congress Center
Session: Atlanta Poster Session 1
Oral: Oral of this paper
Authors: Deyuan (Mike) He, Ankush Desai, Sharad Malik, Aarti Gupta
Organisations: Princeton University, Snowflake
QRS classification: Agentic AI, Language models, Safety, fairness and privacy

Open in schedule Official page