conftrace_

probabilistic rule circuits

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safety policy compliance (1) shielding agent (1) action trajectory (1) formal verification (1) automated reasoning (1)

Papers

ShieldAgent: Shielding Agents via Verifiable Safety Policy Reasoning ICML 2025