TY  - RPRT
TI  - Formally Specifying the High-Level Behavior of LLM-Based Agents
AU  - Maxwell Crouse
AU  - Ibrahim Abdelaziz
AU  - Ramon Astudillo
AU  - Kinjal Basu
AU  - Soham Dan
AU  - Sadhana Kumaravel
AU  - Achille Fokoue
AU  - Pavan Kapanipathi
AU  - Salim Roukos
AU  - Luis Lastras
PY  - 2024
UR  - https://arxiv.org/abs/2310.08535
ID  - 2310.08535
ER  -