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-09T13:00
End: 2026-12-09T13:15
Location: Georgia World Congress Center

NeurIPS · 9 December 2026 · 13:00–13:15 · Hall C3

Soteria: Formally Verified Planning with Runtime Enforcement for Safe LLM Agents was a session at NeurIPS on 9 December 2026 in Atlanta, with 4 speakers on record.

Speakers

Ankush Desai — Speaker Snowflake
Deyuan (Mike) He — Speaker Princeton University
Sharad Malik — Speaker Princeton University
Aarti Gupta — Speaker Princeton University