@misc{indiciaedc6eb74370dc,
  title = {Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents},
  author = {Cailin Winston and Claris Winston and René Just},
  year = {2026},
  url = {https://arxiv.org/abs/2603.20449},
  note = {Source identifier: 2603.20449}
}