{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T01:14:20Z","timestamp":1778721260765,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","funder":[{"name":"the Joint Funds of the National Natural Science Foundation of China under Grant","award":["U25A20436"],"award-info":[{"award-number":["U25A20436"]}]},{"name":"the Guangxi Key Research & Development Program","award":["FN2504240036, 2025FN96441087"],"award-info":[{"award-number":["FN2504240036, 2025FN96441087"]}]},{"name":"the National Natural Science Foundation of China (NSFC)","award":["62372047, 62302049"],"award-info":[{"award-number":["62372047, 62302049"]}]},{"name":"the Natural Science Foundation of Guangdong Province","award":["2024A1515011323"],"award-info":[{"award-number":["2024A1515011323"]}]},{"name":"the Supplemental Funds for Major Scientific Research Projects of Beijing Normal University, Zhuhai","award":["ZHPT2023002"],"award-info":[{"award-number":["ZHPT2023002"]}]},{"name":"the Fundamental Research Funds for the Central Universities, Ministry of Education Industry-University Cooperation Collaborative Education Project","award":["240904497110437"],"award-info":[{"award-number":["240904497110437"]}]},{"name":"the Higher Education Research Topics of the Guangdong Association of Higher Education in the 14th Five-Year Plan","award":["24GYB207"],"award-info":[{"award-number":["24GYB207"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3774904.3792213","type":"proceedings-article","created":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T13:28:36Z","timestamp":1777296516000},"page":"3686-3697","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-5538-324X","authenticated-orcid":false,"given":"Ke","family":"Chen","sequence":"first","affiliation":[{"name":"Faculty of Arts and Sciences, Beijing Normal University, Zhuhai, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1349-8077","authenticated-orcid":false,"given":"Jiandian","family":"Zeng","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3108-123X","authenticated-orcid":false,"given":"Zihao","family":"Peng","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3703-0057","authenticated-orcid":false,"given":"Guo","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7767-0710","authenticated-orcid":false,"given":"Guangxue","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4819-621X","authenticated-orcid":false,"given":"Tian","family":"Wang","sequence":"additional","affiliation":[{"name":"Engineering Research Center of Cloud-Edge Intelligent Collaboration on Big Data, Ministry of Education, Beijing Normal University, Zhuhai, Guangdong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al.","author":"Achiam Josh","year":"2023","unstructured":"Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al., 2023. Gpt-4 technical report. arXiv preprint arXiv:2303.08774 (2023)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i16.29720"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData59044.2023.10386454"},{"key":"e_1_3_2_1_4_1","unstructured":"Gheorghe Comanici Eric Bieber Mike Schaekermann Ice Pasupat Noveen Sachdeva Inderjit Dhillon Marcel Blistein Ori Ram Dan Zhang Evan Rosen et al. 2025. Gemini 2.5: Pushing the frontier with advanced reasoning multimodality long context and next generation agentic capabilities. arXiv preprint arXiv:2507.06261 (2025)."},{"key":"e_1_3_2_1_5_1","unstructured":"Simon Frieder Jonas Bayer Katherine M Collins Julius Berner Jacob Loader Andr\u00e1s Juh\u00e1sz Fabian Ruehle Sean Welleck Gabriel Poesia Ryan-Rhys Griffiths et al. 2024. Data for mathematical copilots: Better ways of presenting proofs for machine learning. arXiv preprint arXiv:2412.15184 (2024)."},{"key":"e_1_3_2_1_6_1","volume-title":"International Conference on Machine Learning. PMLR, 10764-10799","author":"Gao Luyu","year":"2023","unstructured":"Luyu Gao, Aman Madaan, Shuyan Zhou, Uri Alon, Pengfei Liu, Yiming Yang, Jamie Callan, and Graham Neubig. 2023. Pal: Program-aided language models. In International Conference on Machine Learning. PMLR, 10764-10799."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.1229"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.nlrse-1.6"},{"key":"e_1_3_2_1_9_1","unstructured":"Ivan Leo. 2024. Bad Schemas Could Break Your LLM Structured Outputs. https:\/\/python.useinstructor.com\/blog\/2024\/09\/26\/bad-schemas-could-break-your-llm-structured-outputs\/. Instructor Blog. Accessed 2025-10-08."},{"key":"e_1_3_2_1_10_1","unstructured":"Aixin Liu Bei Feng Bing Xue Bingxuan Wang Bochao Wu Chengda Lu Chenggang Zhao Chengqi Deng Chenyu Zhang Chong Ruan et al. 2024. Deepseek-v3 technical report. arXiv preprint arXiv:2412.19437 (2024)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696410.3714768"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.naacl-long.510"},{"key":"e_1_3_2_1_13_1","unstructured":"Man Luo Shrinidhi Kumbhar Mihir Parmar Neeraj Varshney Pratyay Banerjee Somak Aditya Chitta Baral et al. 2023. Towards logiglue: A brief survey and a benchmark for analyzing logical reasoning capabilities of language models. arXiv preprint arXiv:2310.00836 (2023)."},{"key":"e_1_3_2_1_14_1","first-page":"73572","article-title":"Enhancing reasoning capabilities of llms via principled synthetic logic corpus","volume":"37","author":"Morishita Terufumi","year":"2024","unstructured":"Terufumi Morishita, Gaku Morio, Atsuki Yamaguchi, and Yasuhiro Sogawa. 2024. Enhancing reasoning capabilities of llms via principled synthetic logic corpus. Advances in Neural Information Processing Systems, Vol. 37 (2024), 73572-73604.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_15_1","volume-title":"Webgpt: Browser-assisted question-answering with human feedback. arXiv preprint arXiv:2112.09332","author":"Nakano Reiichiro","year":"2021","unstructured":"Reiichiro Nakano, Jacob Hilton, Suchir Balaji, Jeff Wu, Long Ouyang, Christina Kim, Christopher Hesse, Shantanu Jain, Vineet Kosaraju, William Saunders, et al., 2021. Webgpt: Browser-assisted question-answering with human feedback. arXiv preprint arXiv:2112.09332 (2021)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-emnlp.248"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696410.3714685"},{"key":"e_1_3_2_1_19_1","first-page":"30811","article-title":"The fineweb datasets: Decanting the web for the finest text data at scale","volume":"37","author":"Penedo Guilherme","year":"2024","unstructured":"Guilherme Penedo, Hynek Kydl\u00ed\u010dek, Anton Lozhkov, Margaret Mitchell, Colin A Raffel, Leandro Von Werra, Thomas Wolf, et al., 2024. The fineweb datasets: Decanting the web for the finest text data at scale. Advances in Neural Information Processing Systems, Vol. 37 (2024), 30811-30849.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_20_1","volume-title":"Chain-of-Code Collapse: Reasoning Failures in LLMs via Adversarial Prompting in Code Generation. arXiv preprint arXiv","author":"Roh Jaechul","year":"2025","unstructured":"Jaechul Roh, Varun Gandhi, Shivani Anilkumar, and Arin Garg. 2025. Chain-of-Code Collapse: Reasoning Failures in LLMs via Adversarial Prompting in Code Generation. arXiv preprint arXiv, Vol. 2506 (2025)."},{"key":"e_1_3_2_1_21_1","volume-title":"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning. In The Thirteenth International Conference on Learning Representations, ICLR 2025","author":"Ryu Hyun","year":"2025","unstructured":"Hyun Ryu, Gyeongman Kim, Hyemin S. Lee, and Eunho Yang. 2025. Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning. In The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025. OpenReview.net."},{"key":"e_1_3_2_1_22_1","volume-title":"Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought. In The Eleventh International Conference on Learning Representations, ICLR 2023","author":"Saparov Abulhair","year":"2023","unstructured":"Abulhair Saparov and He He. 2023. Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought. In The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023. OpenReview.net."},{"key":"e_1_3_2_1_23_1","volume-title":"The illusion of thinking: Understanding the strengths and limitations of reasoning models via the lens of problem complexity. arXiv preprint arXiv:2506.06941","author":"Shojaee Parshin","year":"2025","unstructured":"Parshin Shojaee, Iman Mirzadeh, Keivan Alizadeh, Maxwell Horton, Samy Bengio, and Mehrdad Farajtabar. 2025. The illusion of thinking: Understanding the strengths and limitations of reasoning models via the lens of problem complexity. arXiv preprint arXiv:2506.06941 (2025)."},{"key":"e_1_3_2_1_24_1","volume-title":"Abubakar Abid, Adam Fisch, Adam R Brown, Adam Santoro, Aditya Gupta, Adri Garriga-Alonso, et al.","author":"Srivastava Aarohi","year":"2023","unstructured":"Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, Abu Awal Shoeb, Abubakar Abid, Adam Fisch, Adam R Brown, Adam Santoro, Aditya Gupta, Adri Garriga-Alonso, et al., 2023. Beyond the imitation game: Quantifying and extrapolating the capabilities of language models. Transactions on machine learning research (2023)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.findings-acl.317"},{"key":"e_1_3_2_1_26_1","volume-title":"Let me speak freely? a study on the impact of format restrictions on performance of large language models. arXiv preprint arXiv:2408.02442","author":"Tam Zhi Rui","year":"2024","unstructured":"Zhi Rui Tam, Cheng-Kuang Wu, Yi-Lin Tsai, Chieh-Yen Lin, Hung-yi Lee, and Yun-Nung Chen. 2024. Let me speak freely? a study on the impact of format restrictions on performance of large language models. arXiv preprint arXiv:2408.02442 (2024)."},{"key":"e_1_3_2_1_27_1","first-page":"25426","article-title":"Mathpile: A billion-token-scale pretraining corpus for math","volume":"37","author":"Wang Zengzhi","year":"2024","unstructured":"Zengzhi Wang, Xuefeng Li, Rui Xia, and Pengfei Liu. 2024. Mathpile: A billion-token-scale pretraining corpus for math. Advances in Neural Information Processing Systems, Vol. 37 (2024), 25426-25468.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_28_1","volume-title":"Denny Zhou, et al.","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, et al., 2022. Chain-of-thought prompting elicits reasoning in large language models. Advances in neural information processing systems, Vol. 35 (2022), 24824-24837."},{"key":"e_1_3_2_1_29_1","volume-title":"Effectively controlling reasoning models through thinking intervention. arXiv preprint arXiv:2503.24370","author":"Wu Tong","year":"2025","unstructured":"Tong Wu, Chong Xiang, Jiachen T Wang, G Edward Suh, and Prateek Mittal. 2025. Effectively controlling reasoning models through thinking intervention. arXiv preprint arXiv:2503.24370 (2025)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-024-40555-y"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.acl-long.153"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.720"},{"key":"e_1_3_2_1_33_1","volume-title":"Tree of thoughts: Deliberate problem solving with large language models. Advances in neural information processing systems","author":"Yao Shunyu","year":"2023","unstructured":"Shunyu Yao, Dian Yu, Jeffrey Zhao, Izhak Shafran, Tom Griffiths, Yuan Cao, and Karthik Narasimhan. 2023. Tree of thoughts: Deliberate problem solving with large language models. Advances in neural information processing systems, Vol. 36 (2023), 11809-11822."},{"key":"e_1_3_2_1_34_1","first-page":"45548","article-title":"Satlm: Satisfiability-aided language models using declarative prompting","volume":"36","author":"Ye Xi","year":"2023","unstructured":"Xi Ye, Qiaochu Chen, Isil Dillig, and Greg Durrett. 2023. Satlm: Satisfiability-aided language models using declarative prompting. Advances in Neural Information Processing Systems, Vol. 36 (2023), 45548-45580.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.505"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.findings-naacl.177"}],"event":{"name":"WWW '26: The ACM Web Conference 2026","location":"Dubai United Arab Emirates","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the ACM Web Conference 2026"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3774904.3792213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T00:57:53Z","timestamp":1778720273000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3774904.3792213"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":36,"alternative-id":["10.1145\/3774904.3792213","10.1145\/3774904"],"URL":"https:\/\/doi.org\/10.1145\/3774904.3792213","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}