{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T08:03:55Z","timestamp":1784189035791,"version":"3.55.0"},"publisher-location":"Singapore","reference-count":21,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819234165","type":"print"},{"value":"9789819234172","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T00:00:00Z","timestamp":1784246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T00:00:00Z","timestamp":1784246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-981-92-3417-2_46","type":"book-chapter","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T07:10:02Z","timestamp":1784185802000},"page":"540-551","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extract Then Compile: Reliable Neuro-Symbolic Planning for Large Language Models"],"prefix":"10.1007","author":[{"given":"Zihao","family":"Guo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haoyu","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuechen","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongyan","family":"Yin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiaming","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"46_CR1","unstructured":"Chen, W., Ma, X., Wang, X., Cohen, W.W.: Program of thoughts prompting: disentangling computation from reasoning for numerical reasoning tasks. Trans. Mach. Learn. Res. (2023)"},{"key":"46_CR2","unstructured":"DeepSeek-AI: DeepSeek-V3 Technical Report. arXiv Preprint https:\/\/arxiv.org\/abs\/2412.19437 (2024)"},{"key":"46_CR3","unstructured":"Dubey, A., Jauhri, A., Pandey, A., Aberman, K., Akkus, C.B., Agarwal, A., et al.: The Llama 3 Herd of Models. arXiv Preprint https:\/\/arxiv.org\/abs\/2407.21783 (2024)"},{"key":"46_CR4","volume-title":"International Conference on Machine Learning","author":"L Gao","year":"2023","unstructured":"Gao, L. et al.: PAL: program-aided language models. In: International Conference on Machine Learning (2023)"},{"key":"46_CR5","unstructured":"GLM-5 Team: GLM-5: From Vibe Coding to Agentic Engineering. arXiv Preprint https:\/\/arxiv.org\/abs\/2602.15763 (2026)"},{"key":"46_CR6","unstructured":"Gundawar, A., Verma, M., Guan, L., Valmeekam, K., Bhambri, S., Kambhampati, S.: Robust planning with LLM-modulo framework: case study in travel planning. arXiv Preprint https:\/\/arxiv.org\/abs\/2405.20625 (2024)"},{"key":"46_CR7","first-page":"3434","volume-title":"Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies","author":"Y Hao","year":"2025","unstructured":"Hao, Y., Chen, Y., Zhang, Y., Fan, C.: Large language models can solve real-world planning rigorously with formal verification tools. In: Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies, pp. 3434\u20133483 (2025)"},{"key":"46_CR8","unstructured":"Jiang, A.Q., Sablayrolles, A., Mensch, A., Bamford, C., Chaplot, D.S., de las Casas, D., et al.: Mistral 7B. arXiv Preprint https:\/\/arxiv.org\/abs\/2310.06825 (2023)"},{"key":"46_CR9","volume-title":"Conference on Empirical Methods in Natural Language Processing: System Demonstrations","author":"D Ju","year":"2024","unstructured":"Ju, D. et al.: To the Globe (TTG): towards language-driven guaranteed travel planning. In: Conference on Empirical Methods in Natural Language Processing: System Demonstrations (2024)"},{"key":"46_CR10","volume-title":"Forty-First International Conference on Machine Learning","author":"S Kambhampati","year":"2024","unstructured":"Kambhampati, S. et al.: Position: LLMs can\u2019t plan, but can help planning in LLM-modulo frameworks. In: Forty-First International Conference on Machine Learning (2024)"},{"key":"46_CR11","unstructured":"Liu, B. et al..: LLM+P: empowering large language models with optimal planning proficiency. arXiv Preprint https:\/\/arxiv.org\/abs\/2304.11477 (2023)"},{"key":"46_CR12","unstructured":"OpenAI: GPT-4o System Card. Tech. Rep., OpenAI (2024). https:\/\/cdn.openai.com\/gpt-4o-system-card.pdf"},{"key":"46_CR13","volume-title":"Advances in Neural Information Processing Systems","author":"M Pourreza","year":"2023","unstructured":"Pourreza, M., Rafiei, D.: DIN-SQL: decomposed in-context learning of text-to-SQL with self-correction. In: Advances in Neural Information Processing Systems (2023)"},{"key":"46_CR14","volume-title":"The Thirteenth International Conference on Learning Representations","author":"JJ Shao","year":"2026","unstructured":"Shao, J.J. et al.: ChinaTravel: an open-ended travel planning benchmark with compositional constraint validation for language agents. In: The Thirteenth International Conference on Learning Representations (2026) https:\/\/openreview.net\/forum?id=0YRVlxY9BH"},{"key":"46_CR15","first-page":"8634","volume-title":"Advances in Neural Information Processing Systems","author":"N Shinn","year":"2023","unstructured":"Shinn, N., Cassano, F., Gopinath, A., Narasimhan, K., Yao, S.: Reflexion: language agents with verbal reinforcement learning. In: Advances in Neural Information Processing Systems, pp. 8634\u20138652 (2023)"},{"key":"46_CR16","volume-title":"Advances in Neural Information Processing Systems","author":"K Valmeekam","year":"2023","unstructured":"Valmeekam, K., Marquez, M., Sreedharan, S., Kambhampati, S.: On the planning abilities of large language models: a critical investigation. In: Advances in Neural Information Processing Systems (2023)"},{"key":"46_CR17","volume-title":"First Conference on Language Modeling","author":"Q Wu","year":"2024","unstructured":"Wu, Q. et al.: AutoGen: enabling Next-Gen LLM applications via multi-agent conversation framework. In: First Conference on Language Modeling (2024)"},{"key":"46_CR18","volume-title":"Forty-First International Conference on Machine Learning","author":"J Xie","year":"2024","unstructured":"Xie, J. et al.: TravelPlanner: a benchmark for real-world planning with language agents. In: Forty-First International Conference on Machine Learning (2024)"},{"key":"46_CR19","unstructured":"Yang, A., Yang, B., Zhang, B., Hui, B., Zheng, B., Yu, B., et al.: Qwen3 technical report. arXiv Preprint https:\/\/arxiv.org\/abs\/2505.09388. (2025)"},{"key":"46_CR20","volume-title":"The Eleventh International Conference on Learning Representations","author":"S Yao","year":"2023","unstructured":"Yao, S. et al.: ReAct: synergizing reasoning and acting in language models. In: The Eleventh International Conference on Learning Representations (2023)"},{"key":"46_CR21","unstructured":"Zheng, H.S. et al.et al.: Natural plan: benchmarking LLMs on natural language planning. arXiv Preprint https:\/\/arxiv.org\/abs\/2406.04520. (2024)"}],"container-title":["Lecture Notes in Computer Science","Advanced Intelligent Computing Technology and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-3417-2_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T07:10:02Z","timestamp":1784185802000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-3417-2_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,17]]},"ISBN":["9789819234165","9789819234172"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-3417-2_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,17]]},"assertion":[{"value":"17 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icic2026a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ic-icc.cn\/2026\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}