Oral · Atlanta

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

Time not published yetRoom not published

When

Time not published yet

Where

Room not published

Poster

Poster 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 scheduleOfficial page