@article{formallyspecifyingthehighlevelbehavior,
  title = {Formally Specifying the High-Level Behavior of LLM-Based Agents},
  author = {Maxwell Crouse and Ibrahim Abdelaziz and Ramon Astudillo and Kinjal Basu and Soham Dan and Sadhana Kumaravel and Achille Fokoue and Pavan Kapanipathi and Salim Roukos and Luis Lastras},
  year = {2023},
  eprint = {2310.08535},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2310.08535v3},
}