TY  - RPRT
TI  - Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
AU  - Cailin Winston
AU  - Claris Winston
AU  - René Just
PY  - 2026
UR  - https://arxiv.org/abs/2603.20449
ID  - 2603.20449
ER  -