inuwamobarak/random-files

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