Formally Specifying the High-Level Behavior of LLM-Based AgentsMaxwell Crouse,Ibrahim Abdelaziz,Kinjal Basu,Soham Dan,Sadhana Kumaravel,Achille Fokoue,Pavan Kapanipathi,Luis A. LastrasICLR 2024（2024）引用 0|浏览2关键词LLM-based agents,logic,constrained decodingAI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
