conftrace_

policy specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safety testing (1) large language model (1) first-order logic (1) formal methods (1)

Papers

Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026