Don't Make Models Guess Security and Safety: Symbolic Guardrails for Domain-Specific AI Agents

Yining Hong, Yining She, Eunsuk Kang +2

There is increasing interest in integrating AI agents that invoke tools into domain-specific commercial software, where unintended tool calls can cause serious security and safety…