{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T01:40:54Z","timestamp":1777945254708,"version":"3.51.4"},"reference-count":43,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["62532014"],"award-info":[{"award-number":["62532014"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems Architecture"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1016\/j.sysarc.2026.103780","type":"journal-article","created":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T17:06:05Z","timestamp":1773335165000},"page":"103780","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["DCoL-A: Agentic dual chain of thinking helps LLMs pretend logic solvers"],"prefix":"10.1016","volume":"175","author":[{"given":"Minyu","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ling-I","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruibang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianxin","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9005-7112","authenticated-orcid":false,"given":"Guoqiang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.sysarc.2026.103780_b1","series-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"De Moura","year":"2008"},{"key":"10.1016\/j.sysarc.2026.103780_b2","series-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","first-page":"415","article-title":"cvc5: A versatile and industrial-strength SMT solver","author":"Barbosa","year":"2022"},{"key":"10.1016\/j.sysarc.2026.103780_b3","doi-asserted-by":"crossref","unstructured":"L. Cordeiro, B. Fischer, Verifying multi-threaded software using SMT-based context-bounded model checking, in: Proceedings of the 33rd International Conference on Software Engineering, 2011, pp. 331\u2013340.","DOI":"10.1145\/1985793.1985839"},{"issue":"2","key":"10.1016\/j.sysarc.2026.103780_b4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3381032","article-title":"Practical constraint solving for generating system test data","volume":"29","author":"Soltana","year":"2020","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"10.1016\/j.sysarc.2026.103780_b5","series-title":"Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I 31","first-page":"219","article-title":"Automated synthesis of secure platform mappings","author":"Kang","year":"2019"},{"key":"10.1016\/j.sysarc.2026.103780_b6","series-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","first-page":"11","article-title":"SMT-based refutation of spurious bug reports in the clang static analyzer","author":"Gadelha","year":"2019"},{"key":"10.1016\/j.sysarc.2026.103780_b7","first-page":"1877","article-title":"Language models are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.sysarc.2026.103780_b8","series-title":"Llama 2: Open foundation and fine-tuned chat models","author":"Touvron","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b9","doi-asserted-by":"crossref","unstructured":"L. Pan, A. Albalak, X. Wang, W. Wang, Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning, in: Findings of the Association for Computational Linguistics, EMNLP 2023, 2023, pp. 3806\u20133824.","DOI":"10.18653\/v1\/2023.findings-emnlp.248"},{"key":"10.1016\/j.sysarc.2026.103780_b10","series-title":"SymBa: Symbolic backward chaining for multi-step natural language reasoning","author":"Lee","year":"2024"},{"key":"10.1016\/j.sysarc.2026.103780_b11","series-title":"Language models can be logical solvers","author":"Feng","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b12","doi-asserted-by":"crossref","unstructured":"O. Tafjord, B. Dalvi, P. Clark, ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language, in: Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, 2021, pp. 3621\u20133634.","DOI":"10.18653\/v1\/2021.findings-acl.317"},{"key":"10.1016\/j.sysarc.2026.103780_b13","series-title":"The Eleventh International Conference on Learning Representations","article-title":"Language models are greedy reasoners: A systematic formal analysis of chain-of-thought","author":"Saparov","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b14","series-title":"Folio: Natural language reasoning with first-order logic","author":"Han","year":"2022"},{"key":"10.1016\/j.sysarc.2026.103780_b15","doi-asserted-by":"crossref","unstructured":"W. Zhong, S. Wang, D. Tang, Z. Xu, D. Guo, Y. Chen, J. Wang, J. Yin, M. Zhou, N. Duan, Analytical reasoning of text, in: Findings of the Association for Computational Linguistics: NAACL 2022, 2022, pp. 2306\u20132319.","DOI":"10.18653\/v1\/2022.findings-naacl.177"},{"key":"10.1016\/j.sysarc.2026.103780_b16","series-title":"LLMs for relational reasoning: How far are we?","author":"Li","year":"2024"},{"key":"10.1016\/j.sysarc.2026.103780_b17","series-title":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","first-page":"102","article-title":"Can language models pretend solvers? logic code simulation with llms","author":"Chen","year":"2024"},{"issue":"75","key":"10.1016\/j.sysarc.2026.103780_b18","first-page":"1","article-title":"Attention is turing-complete","volume":"22","author":"P\u00e9rez","year":"2021","journal-title":"J. Mach. Learn. Res."},{"key":"10.1016\/j.sysarc.2026.103780_b19","first-page":"12071","article-title":"Statistically meaningful approximation: a case study on approximating turing machines with transformers","volume":"35","author":"Wei","year":"2022","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.sysarc.2026.103780_b20","series-title":"International Conference on Machine Learning","first-page":"11398","article-title":"Looped transformers as programmable computers","author":"Giannou","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b21","series-title":"Memory augmented large language models are computationally universal","author":"Schuurmans","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b22","article-title":"Language models can solve computer tasks","volume":"36","author":"Kim","year":"2024","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.sysarc.2026.103780_b23","doi-asserted-by":"crossref","unstructured":"A.Z. Yang, C. Le Goues, R. Martins, V. Hellendoorn, Large language models for test-free fault localization, in: Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering, 2024, pp. 1\u201312.","DOI":"10.1145\/3597503.3623342"},{"key":"10.1016\/j.sysarc.2026.103780_b24","doi-asserted-by":"crossref","unstructured":"C. Liu, S. Lu, W. Chen, D. Jiang, A. Svyatkovskiy, S. Fu, N. Sundaresan, N. Duan, Code Execution with Pre-trained Language Models, in: Findings of the Association for Computational Linguistics: ACL 2023, 2023, pp. 4984\u20134999.","DOI":"10.18653\/v1\/2023.findings-acl.308"},{"key":"10.1016\/j.sysarc.2026.103780_b25","series-title":"2023 IEEE\/ACM International Conference on Computer Aided Design","first-page":"1","article-title":"SATformer: Transformer-based UNSAT core learning","author":"Shi","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b26","series-title":"Code simulation challenges for large language models","author":"La Malfa","year":"2024"},{"key":"10.1016\/j.sysarc.2026.103780_b27","series-title":"Code llama: Open foundation models for code","author":"Roziere","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b28","series-title":"DeepSeek-R1: Incentivizing reasoning capability in LLMs via reinforcement learning","author":"DeepSeek-AI","year":"2025"},{"key":"10.1016\/j.sysarc.2026.103780_b29","series-title":"Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context","author":"Team","year":"2024"},{"key":"10.1016\/j.sysarc.2026.103780_b30","series-title":"Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7\u201312, 2018, Tutorial Lectures","first-page":"148","article-title":"Programming Z3","author":"Bj\u00f8rner","year":"2019"},{"key":"10.1016\/j.sysarc.2026.103780_b31","series-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","first-page":"495","article-title":"Competition on software verification and witness validation: SV-COMP 2023","author":"Beyer","year":"2023"},{"key":"10.1016\/j.sysarc.2026.103780_b32","first-page":"14","article-title":"CaDiCaL vivinst, IsaSAT, Gimsatul, Kissat, and TabularaSAT entering the SAT competition 2023","author":"Biere","year":"2023","journal-title":"Proc. SAT Comp\u00e9t."},{"key":"10.1016\/j.sysarc.2026.103780_b33","first-page":"8","article-title":"CaDiCaL, Gimsatul, IsaSAT and Kissat entering the SAT competition 2024","author":"Biere","year":"2024","journal-title":"Proc. SAT Comp\u00e9t."},{"key":"10.1016\/j.sysarc.2026.103780_b34","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(95)00045-3","article-title":"Generating hard satisfiability problems","volume":"81","author":"Selman","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.sysarc.2026.103780_b35","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(95)00049-6","article-title":"Some pitfalls for experimenters with random SAT","volume":"81","author":"Mitchell","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.sysarc.2026.103780_b36","series-title":"Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","first-page":"15278","article-title":"Natural language satisfiability: Exploring the problem distribution and evaluating transformer-based language models","author":"Madusanka","year":"2024"},{"key":"10.1016\/j.sysarc.2026.103780_b37","first-page":"24824","article-title":"Chain-of-thought prompting elicits reasoning in large language models","volume":"35","author":"Wei","year":"2022","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.sysarc.2026.103780_b38","doi-asserted-by":"crossref","unstructured":"L. Wang, W. Xu, Y. Lan, Z. Hu, Y. Lan, R.K.-W. Lee, E.-P. Lim, Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models, in: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023, pp. 2609\u20132634.","DOI":"10.18653\/v1\/2023.acl-long.147"},{"key":"10.1016\/j.sysarc.2026.103780_b39","unstructured":"X. Wang, J. Wei, D. Schuurmans, Q.V. Le, E.H. Chi, S. Narang, A. Chowdhery, D. Zhou, Self-Consistency Improves Chain of Thought Reasoning in Language Models, in: The Eleventh International Conference on Learning Representations, 2022."},{"key":"10.1016\/j.sysarc.2026.103780_b40","article-title":"Satlm: Satisfiability-aided language models using declarative prompting","volume":"36","author":"Ye","year":"2024","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.sysarc.2026.103780_b41","series-title":"SoLA: Solver-layer adaption of LLM for better logic reasoning","author":"Zhang","year":"2024"},{"key":"10.1016\/j.sysarc.2026.103780_b42","series-title":"Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing","first-page":"11048","article-title":"Rethinking the role of demonstrations: What makes in-context learning work?","author":"Min","year":"2022"},{"key":"10.1016\/j.sysarc.2026.103780_b43","series-title":"Premise order matters in reasoning with large language models","author":"Chen","year":"2024"}],"container-title":["Journal of Systems Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762126000986?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1383762126000986?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T10:38:34Z","timestamp":1777718314000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1383762126000986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":43,"alternative-id":["S1383762126000986"],"URL":"https:\/\/doi.org\/10.1016\/j.sysarc.2026.103780","relation":{},"ISSN":["1383-7621"],"issn-type":[{"value":"1383-7621","type":"print"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"DCoL-A: Agentic dual chain of thinking helps LLMs pretend logic solvers","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems Architecture","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.sysarc.2026.103780","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103780"}}