@article{journals/corr/abs-2402-01817,
  added-at = {2024-11-28T00:00:00.000+0100},
  author = {Kambhampati, Subbarao and Valmeekam, Karthik and Guan, Lin and Stechly, Kaya and Verma, Mudit and Bhambri, Siddhant and Saldyt, Lucas and Murthy, Anil},
  biburl = {https://www.bibsonomy.org/bibtex/2f6d5182fc4a6487b8700857ea67fe3aa/dblp},
  ee = {https://doi.org/10.48550/arXiv.2402.01817},
  interhash = {ccbc2774614ebfd3ee946c4cf66a0491},
  intrahash = {f6d5182fc4a6487b8700857ea67fe3aa},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2024-12-02T07:12:42.000+0100},
  title = {LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-01817},
  volume = {abs/2402.01817},
  year = 2024
}

{"_id":"6mLe8zERWTQFRw4b9","bibbaseid":"kambhampati-valmeekam-guan-stechly-verma-bhambri-saldyt-murthy-llmscantplanbutcanhelpplanninginllmmoduloframeworks-2024","author_short":["Kambhampati, S.","Valmeekam, K.","Guan, L.","Stechly, K.","Verma, M.","Bhambri, S.","Saldyt, L.","Murthy, A."],"bibdata":{"bibtype":"article","type":"article","added-at":"2024-11-28T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Kambhampati"],"firstnames":["Subbarao"],"suffixes":[]},{"propositions":[],"lastnames":["Valmeekam"],"firstnames":["Karthik"],"suffixes":[]},{"propositions":[],"lastnames":["Guan"],"firstnames":["Lin"],"suffixes":[]},{"propositions":[],"lastnames":["Stechly"],"firstnames":["Kaya"],"suffixes":[]},{"propositions":[],"lastnames":["Verma"],"firstnames":["Mudit"],"suffixes":[]},{"propositions":[],"lastnames":["Bhambri"],"firstnames":["Siddhant"],"suffixes":[]},{"propositions":[],"lastnames":["Saldyt"],"firstnames":["Lucas"],"suffixes":[]},{"propositions":[],"lastnames":["Murthy"],"firstnames":["Anil"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2f6d5182fc4a6487b8700857ea67fe3aa/dblp","ee":"https://doi.org/10.48550/arXiv.2402.01817","interhash":"ccbc2774614ebfd3ee946c4cf66a0491","intrahash":"f6d5182fc4a6487b8700857ea67fe3aa","journal":"CoRR","keywords":"dblp","timestamp":"2024-12-02T07:12:42.000+0100","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks.","url":"http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-01817","volume":"abs/2402.01817","year":"2024","bibtex":"@article{journals/corr/abs-2402-01817,\n added-at = {2024-11-28T00:00:00.000+0100},\n author = {Kambhampati, Subbarao and Valmeekam, Karthik and Guan, Lin and Stechly, Kaya and Verma, Mudit and Bhambri, Siddhant and Saldyt, Lucas and Murthy, Anil},\n biburl = {https://www.bibsonomy.org/bibtex/2f6d5182fc4a6487b8700857ea67fe3aa/dblp},\n ee = {https://doi.org/10.48550/arXiv.2402.01817},\n interhash = {ccbc2774614ebfd3ee946c4cf66a0491},\n intrahash = {f6d5182fc4a6487b8700857ea67fe3aa},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2024-12-02T07:12:42.000+0100},\n title = {LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-01817},\n volume = {abs/2402.01817},\n year = 2024\n}\n\n","author_short":["Kambhampati, S.","Valmeekam, K.","Guan, L.","Stechly, K.","Verma, M.","Bhambri, S.","Saldyt, L.","Murthy, A."],"key":"journals/corr/abs-2402-01817","id":"journals/corr/abs-2402-01817","bibbaseid":"kambhampati-valmeekam-guan-stechly-verma-bhambri-saldyt-murthy-llmscantplanbutcanhelpplanninginllmmoduloframeworks-2024","role":"author","urls":{"Link":"https://doi.org/10.48550/arXiv.2402.01817","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-01817"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Verma?items=1000","dataSources":["JidBnWpATZRYfZpvu"],"keywords":["dblp"],"search_terms":["llms","plan","help","planning","llm","modulo","frameworks","kambhampati","valmeekam","guan","stechly","verma","bhambri","saldyt","murthy"],"title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks.","year":2024}