{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T13:02:35Z","timestamp":1771074155360,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,12,19]]},"DOI":"10.1145\/3788731.3788734","type":"proceedings-article","created":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T11:49:28Z","timestamp":1771069768000},"page":"15-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Logic-Driven Workflow Based on LLM Agents for High-Fidelity SMT Code Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6634-4425","authenticated-orcid":false,"given":"Zhuwei","family":"Liu","sequence":"first","affiliation":[{"name":"School of Computing and Artificial Intelligence, Southwest Jiaotong University, Chengdu, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1801-7508","authenticated-orcid":false,"given":"Keming","family":"Wang","sequence":"additional","affiliation":[{"name":"Southwest Jiaotong University, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,2,14]]},"reference":[{"key":"e_1_3_3_1_1_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2023.103571"},{"key":"e_1_3_3_1_2_2","volume-title":"19th International Satisfiability Modulo Theories Competition (SMT-COMP 2024)","author":"Bobot Fran\u00e7ois","year":"2024","unstructured":"Fran\u00e7ois Bobot, C. E. A. List, Martin Bromberger, et al. 2024. 19th International Satisfiability Modulo Theories Competition (SMT-COMP 2024): Rules and Procedures."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_1_4_2","first-page":"11809","article-title":"Tree of thoughts: Deliberate problem solving with large language models","volume":"36","author":"Yao Shunyu","year":"2023","unstructured":"Shunyu Yao, Dian Yu, Jeffrey Zhao, et al. 2023. Tree of thoughts: Deliberate problem solving with large language models. Advances in Neural Information Processing Systems 36 (2023), 11809\u201311822.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-FoSE59343.2023.00008"},{"key":"e_1_3_3_1_6_2","volume-title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis. In International Conference on Learning Representations (ICLR).","author":"Nijkamp Erik","year":"2023","unstructured":"Erik Nijkamp, Bo Pang, Hiroaki Hayashi, et al. 2023. CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.emnlp-main.685"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Yujia Li David Choi Junyoung Chung et al. 2022. Competition-level code generation with alphacode. Science 378 6624 (2022) 1092\u20131097.","DOI":"10.1126\/science.abq1158"},{"key":"e_1_3_3_1_9_2","volume-title":"First Conference on Language Modeling.","author":"Wu Qingyun","year":"2024","unstructured":"Qingyun Wu, Gagan Bansal, Jieyu Zhang, et al. 2024. Autogen: Enabling next-gen LLM applications via multi-agent conversations. In First Conference on Language Modeling."},{"key":"e_1_3_3_1_10_2","volume-title":"The Twelfth International Conference on Learning Representations (ICLR).","author":"Hong Sirui","year":"2024","unstructured":"Sirui Hong, Mingchen Zhuge, Jonathan Chen, et al. 2024. MetaGPT: Meta programming for a multi-agent collaborative framework. In The Twelfth International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.507"},{"key":"e_1_3_3_1_12_2","volume-title":"International Conference on Machine Learning (ICML).","author":"Zhou Andy","year":"2024","unstructured":"Andy Zhou, Kai Yan, Michal Shlapentokh-Rothman, et al. 2024. Language agent tree search unifies reasoning acting and planning in language models. In International Conference on Machine Learning (ICML)."},{"key":"e_1_3_3_1_13_2","volume-title":"Codetree: Agent-guided tree search for code generation with large language models. arXiv preprint arXiv:2411.04329","author":"Li Jiacheng","year":"2024","unstructured":"Jiacheng Li, Haotian Le, Yuxiang Zhou, et al. 2024. Codetree: Agent-guided tree search for code generation with large language models. arXiv preprint arXiv:2411.04329 (2024)."},{"key":"e_1_3_3_1_14_2","unstructured":"Qintong Li Wei Xia Ke Du et al. 2024. RethinkMCTS: Refining Erroneous Thoughts in Monte Carlo Tree Search for Code Generation. arXiv preprint arXiv:2409.09584 (2024)."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Meta Fundamental AI Research Diplomacy Team (FAIR) Anton Bakhtin Noam Brown et al. 2022. Human-level play in the game of Diplomacy by combining language models with strategic reasoning. Science 378 6624 (2022) 1067\u20131074.","DOI":"10.1126\/science.ade9097"},{"key":"e_1_3_3_1_16_2","unstructured":"Aryan Lalwani Taeho Kim Luv Chopra et al. 2024. Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection. arXiv preprint arXiv:2405.02318 (2024)."},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00180"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-024-40415-9"}],"event":{"name":"EILM 2025: 2025 International Conference on Embodied Intelligence and Large Models","location":"Chengdu China","acronym":"EILM 2025"},"container-title":["Proceedings of the 2025 International Conference on Embodied Intelligence and Large Models"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3788731.3788734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T12:09:53Z","timestamp":1771070993000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3788731.3788734"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,19]]},"references-count":18,"alternative-id":["10.1145\/3788731.3788734","10.1145\/3788731"],"URL":"https:\/\/doi.org\/10.1145\/3788731.3788734","relation":{},"subject":[],"published":{"date-parts":[[2025,12,19]]},"assertion":[{"value":"2026-02-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}