conftrace_

safety policy compliance

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic rule circuits (1) shielding agent (1) action trajectory (1) formal verification (1) automated reasoning (1)

Papers

ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning ICML 2025