Formally Specifying the High-Level Behavior of LLM-Based AgentsMaxwell Crouse,Ibrahim Abdelaziz,Ramon Astudillo,Kinjal Basu,Soham Dan,Sadhana Kumaravel,Achille Fokoue,Pavan Kapanipathi,Salim Roukos,Luis LastrasCoRR（2023）引用 3|浏览159关键词agents,behavior,high-level high-level,llm-basedAI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
