APA (7th ed.) Citation

Winston, C., Winston, C., & Just, R. (2026). Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents.

Chicago Style (17th ed.) Citation

Winston, Cailin, Claris Winston, and René Just. Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents. 2026.

MLA (9th ed.) Citation

Winston, Cailin, et al. Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents. 2026.