Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents

“Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents” by Cailin Winston, Claris Winston, and René Just. arXiv preprint arXiv:2603.20449, 2026.

BibTeX entry:

@article{WinstonWJ2026,
   author = {Cailin Winston and Claris Winston and Ren{\'e} Just},
   title = {Solver-Aided Verification of Policy Compliance in
	Tool-Augmented LLM Agents},
   journal = {arXiv preprint arXiv:2603.20449},
   year = {2026}
}

Back to all publications

---

(This page was created with bibtex2web.)