%0 Journal Article %1 journals/corr/abs-2310-08535 %A Crouse, Maxwell %A Abdelaziz, Ibrahim %A Basu, Kinjal %A Dan, Soham %A Kumaravel, Sadhana %A Fokoue, Achille %A Kapanipathi, Pavan %A Lastras, Luis A. %D 2023 %J CoRR %K dblp %T Formally Specifying the High-Level Behavior of LLM-Based Agents. %U http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-08535 %V abs/2310.08535

@article{journals/corr/abs-2310-08535, added-at = {2023-10-25T00:00:00.000+0200}, author = {Crouse, Maxwell and Abdelaziz, Ibrahim and Basu, Kinjal and Dan, Soham and Kumaravel, Sadhana and Fokoue, Achille and Kapanipathi, Pavan and Lastras, Luis A.}, biburl = {https://www.bibsonomy.org/bibtex/24b71eddcf841c46e27abdeafabab6678/dblp}, ee = {https://doi.org/10.48550/arXiv.2310.08535}, interhash = {0134f828c33b0c52e3bccd4d1e0e16af}, intrahash = {4b71eddcf841c46e27abdeafabab6678}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:33:39.000+0200}, title = {Formally Specifying the High-Level Behavior of LLM-Based Agents.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-08535}, volume = {abs/2310.08535}, year = 2023 }