license:openrail arxiv:2310.08535 region:us
---
license: openrail
---
Crouse, M., Abdelaziz, I., Basu, K., Dan, S., Kumaravel, S., Fokoue, A., Kapanipathi, P., & Lastras, L. (2023). Formally Specifying the High-Level Behavior of LLM-Based Agents. ArXiv. /abs/2310.08535