{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T00:56:32Z","timestamp":1760576192438,"version":"build-2065373602"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T00:00:00Z","timestamp":1748217600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T00:00:00Z","timestamp":1748217600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62176076","62176076","62176076","62176076"],"award-info":[{"award-number":["62176076","62176076","62176076","62176076"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003453","name":"Natural Science Foundation of Guangdong Province","doi-asserted-by":"publisher","award":["2023A1515012922","2023A1515012922","2023A1515012922","2023A1515012922"],"award-info":[{"award-number":["2023A1515012922","2023A1515012922","2023A1515012922","2023A1515012922"]}],"id":[{"id":"10.13039\/501100003453","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shenzhen Foundational Research Funding","award":["JCYJ20220818102415032","JCYJ20220818102415032","JCYJ20220818102415032","JCYJ20220818102415032"],"award-info":[{"award-number":["JCYJ20220818102415032","JCYJ20220818102415032","JCYJ20220818102415032","JCYJ20220818102415032"]}]},{"name":"Guangdong Provincial Key Laboratory of Novel Security Intelligence Technologies","award":["2022B1212010005","2022B1212010005","2022B1212010005","2022B1212010005"],"award-info":[{"award-number":["2022B1212010005","2022B1212010005","2022B1212010005","2022B1212010005"]}]},{"name":"the Major Key Project of PCL","award":["2021A06","2021A06","2021A06","2021A06"],"award-info":[{"award-number":["2021A06","2021A06","2021A06","2021A06"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Mach. Learn. & Cyber."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1007\/s13042-025-02679-w","type":"journal-article","created":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T17:51:50Z","timestamp":1748281910000},"page":"7675-7687","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Mitigating error propagation in multi-hop fact verification with logic reasoning"],"prefix":"10.1007","volume":"16","author":[{"given":"Xiucheng","family":"Lyu","sequence":"first","affiliation":[]},{"given":"Chengyu","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Mingwei","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Ruifeng","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,26]]},"reference":[{"key":"2679_CR1","doi-asserted-by":"crossref","unstructured":"Thorne J, Vlachos A, Christodoulopoulos C, Mittal A (2018) Fever: a large-scale dataset for fact extraction and verification. In: Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), pp. 809\u2013819","DOI":"10.18653\/v1\/N18-1074"},{"key":"2679_CR2","doi-asserted-by":"crossref","unstructured":"Aly R, Guo Z, Schlichtkrull M, Thorne J, Vlachos A, Christodoulopoulos C, Cocarascu O, Mittal A (2021) Feverous: Fact extraction and verification over unstructured and structured information. arXiv preprint arXiv:2106.05707","DOI":"10.18653\/v1\/2021.fever-1.1"},{"key":"2679_CR3","unstructured":"Achiam J, Adler S, Agarwal S, Ahmad L, Akkaya I, Aleman FL, Almeida D, Altenschmidt J, Altman S, Anadkat S et\u00a0al (2023) Gpt-4 technical report. arXiv preprint arXiv:2303.08774"},{"key":"2679_CR4","unstructured":"Sun Y, He J, Cui L, Lei S, Lu C-T (2024) Exploring the deceptive power of llm-generated fake news: A study of real-world detection challenges. arXiv preprint arXiv:2403.18249"},{"key":"2679_CR5","doi-asserted-by":"publisher","unstructured":"Jiang Y, Bordia S, Zhong Z, Dognin C, Singh M, Bansal M (2020) HoVer: A dataset for many-hop fact extraction and claim verification. In: Cohn, T., He, Y., Liu, Y. (eds.) Findings of the Association for Computational Linguistics: EMNLP 2020, pp. 3441\u20133460. Association for Computational Linguistics, Online. https:\/\/doi.org\/10.18653\/v1\/2020.findings-emnlp.309 . https:\/\/aclanthology.org\/2020.findings-emnlp.309\/","DOI":"10.18653\/v1\/2020.findings-emnlp.309"},{"key":"2679_CR6","doi-asserted-by":"crossref","unstructured":"Pan L, Wu X, Lu X, Luu AT, Wang WY, Kan M-Y, Nakov P (2023) Fact-checking complex claims with program-guided reasoning. In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 6981\u20137004","DOI":"10.18653\/v1\/2023.acl-long.386"},{"key":"2679_CR7","doi-asserted-by":"crossref","unstructured":"Chen J, Sriram A, Choi E, Durrett G (2022) Generating literal and implied subquestions to fact-check complex claims. In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, pp. 3495\u20133516","DOI":"10.18653\/v1\/2022.emnlp-main.229"},{"key":"2679_CR8","doi-asserted-by":"crossref","unstructured":"Fan A, Piktus A, Petroni F, Wenzek G, Saeidi M, Vlachos A, Bordes A, Riedel S (2020) Generating fact checking briefs. In: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), pp. 7147\u20137161","DOI":"10.18653\/v1\/2020.emnlp-main.580"},{"key":"2679_CR9","first-page":"13573","volume":"37","author":"J Si","year":"2023","unstructured":"Si J, Zhu Y, Zhou D (2023) Exploring faithful rationale for multi-hop fact verification via salience-aware graph learning. Proc AAAI Conf Artif Intell 37:13573\u201313581","journal-title":"Proc AAAI Conf Artif Intell"},{"key":"2679_CR10","doi-asserted-by":"crossref","unstructured":"Si J, Zhu Y, Lu W, Zhou D (2024) Denoising rationalization for multi-hop fact verification via multi-granular explainer. Findings of the Association for Computational Linguistics: EMNLP 2024:12593\u201312608","DOI":"10.18653\/v1\/2024.findings-emnlp.736"},{"key":"2679_CR11","unstructured":"Klement KC (2004) Propositional logic"},{"key":"2679_CR12","unstructured":"Hinton G (2015) Distilling the knowledge in a neural network. arXiv preprint arXiv:1503.02531"},{"key":"2679_CR13","unstructured":"Yuan L, Cui G, Wang H, Ding N, Wang X, Deng J, Shan B, Chen H, Xie R, Lin Y, et\u00a0al (2024) Advancing llm reasoning generalists with preference trees. arXiv preprint arXiv:2404.02078"},{"key":"2679_CR14","doi-asserted-by":"crossref","unstructured":"Zhu Y, Si J, Zhao Y, Zhu H, Zhou D, He Y (2023) Explain, edit, generate: rationale-sensitive counterfactual data augmentation for multi-hop fact verification. arXiv preprint arXiv:2310.14508","DOI":"10.18653\/v1\/2023.emnlp-main.826"},{"key":"2679_CR15","doi-asserted-by":"crossref","unstructured":"Shen L, Long Y, Cai X, Razzak I, Chen G, Liu K, Jameel S (2024) Gamed: Knowledge adaptive multi-experts decoupling for multimodal fake news detection. arXiv preprint arXiv:2412.12164","DOI":"10.1145\/3701551.3703541"},{"key":"2679_CR16","doi-asserted-by":"crossref","unstructured":"Yang Z, Qi P, Zhang S, Bengio Y, Cohen W, Salakhutdinov R, Manning CD (2018) Hotpotqa: A dataset for diverse, explainable multi-hop question answering. In: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, pp. 2369\u20132380","DOI":"10.18653\/v1\/D18-1259"},{"key":"2679_CR17","doi-asserted-by":"crossref","unstructured":"Ostrowski W, Arora A, Atanasova P, Augenstein I (2020) Multi-hop fact checking of political claims. arXiv preprint arXiv:2009.06401","DOI":"10.24963\/ijcai.2021\/536"},{"key":"2679_CR18","doi-asserted-by":"crossref","unstructured":"Robertson S, Zaragoza H (2009) The probabilistic relevance framework: Bm25 and beyond. Foundations and Trends\u00ae in Information Retrieval 3(4):333\u2013389","DOI":"10.1561\/1500000019"},{"key":"2679_CR19","unstructured":"De\u00a0Cao N, Izacard G, Riedel S, Petroni F (2020) Autoregressive entity retrieval. arXiv preprint arXiv:2010.00904"},{"key":"2679_CR20","doi-asserted-by":"crossref","unstructured":"Karpukhin V, Oguz B, Min S, Lewis P, Wu L, Edunov S, Chen D, Yih W-t (2020) Dense passage retrieval for open-domain question answering. In: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), pp. 6769\u20136781","DOI":"10.18653\/v1\/2020.emnlp-main.550"},{"key":"2679_CR21","unstructured":"Xiong W, Li X, Iyer S, Du J, Lewis P, Wang WY, Mehdad Y, Yih S, Riedel S, Kiela D et\u00a0al Answering complex open-domain questions with multi-hop dense retrieval. In: International Conference on Learning Representations"},{"key":"2679_CR22","doi-asserted-by":"crossref","unstructured":"Aly R, Vlachos A (2022) Natural logic-guided autoregressive multi-hop document retrieval for fact verification. In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, pp. 6123\u20136135","DOI":"10.18653\/v1\/2022.emnlp-main.411"},{"issue":"2","key":"2679_CR23","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1080\/08913811.2013.843872","volume":"25","author":"JE Uscinski","year":"2013","unstructured":"Uscinski JE, Butler RW (2013) The epistemology of fact checking. Crit Rev 25(2):162\u2013180","journal-title":"Crit Rev"},{"key":"2679_CR24","first-page":"294","volume":"9","author":"A Jacovi","year":"2021","unstructured":"Jacovi A, Goldberg Y (2021) Aligning faithful interpretations with their social attribution. Trans Assoc Comput Ling 9:294\u2013310","journal-title":"Trans Assoc Comput Ling"},{"key":"2679_CR25","first-page":"1013","volume":"10","author":"A Krishna","year":"2022","unstructured":"Krishna A, Riedel S, Vlachos A (2022) Proofver: natural logic theorem proving for fact verification. Trans Assoc Comput Ling 10:1013\u20131030","journal-title":"Trans Assoc Comput Ling"},{"key":"2679_CR26","doi-asserted-by":"crossref","unstructured":"Aly R, Strong M, Vlachos A (2023) Qa-natver: Question answering for natural logic-based fact verification. arXiv preprint arXiv:2310.14198","DOI":"10.18653\/v1\/2023.emnlp-main.521"},{"key":"2679_CR27","unstructured":"Stammbach D, Ash E (2020) e-fever: Explanations and summaries for automated fact checking. Proceedings of the 2020 Truth and Trust Online (TTO 2020), p. 32\u201343"},{"key":"2679_CR28","doi-asserted-by":"crossref","unstructured":"Ma H, Xu W, Wei Y, Chen L, Wang L, Liu Q, Wu S, Wang L (2023) Ex-fever: A dataset for multi-hop explainable fact verification. arXiv e-prints, p. 2310","DOI":"10.18653\/v1\/2024.findings-acl.556"},{"key":"2679_CR29","doi-asserted-by":"crossref","unstructured":"Pan L, Lu X, Kan M-Y, Nakov P (2023) Qacheck: A demonstration system for question-guided multi-hop fact-checking. In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, pp. 264\u2013273","DOI":"10.18653\/v1\/2023.emnlp-demo.23"},{"key":"2679_CR30","unstructured":"HUANG G, LONG Y, LUO C, SHEN J, SUN X (2024) Prompting explicit and implicit knowledge for multi-hop question answering based on human reading process. In: Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024, pp. 13179\u201313189. European Language Resources Association (ELRA)"},{"key":"2679_CR31","doi-asserted-by":"crossref","unstructured":"Warren G, Shklovski I, Augenstein I (2025) Show me the work: Fact-checkers\u2019 requirements for explainable automated fact-checking. arXiv preprint arXiv:2502.09083","DOI":"10.1145\/3706598.3713277"},{"key":"2679_CR32","doi-asserted-by":"crossref","unstructured":"Choudhury SR, Atanasova P, Augenstein I (2023) Explaining interactions between text spans. In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pp. 12709\u201312730","DOI":"10.18653\/v1\/2023.emnlp-main.783"},{"key":"2679_CR33","unstructured":"Yao S, Zhao J, Yu D, Du N, Shafran I, Narasimhan K, Cao Y (2022) React: Synergizing reasoning and acting in language models. arXiv preprint arXiv:2210.03629"},{"key":"2679_CR34","doi-asserted-by":"crossref","unstructured":"Soleimani A, Monz C, Worring M (2020) Bert for evidence retrieval and claim verification. In: Advances in Information Retrieval: 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14\u201317, 2020, Proceedings, Part II 42. Springer, Cham pp. 359\u2013366.","DOI":"10.1007\/978-3-030-45442-5_45"},{"key":"2679_CR35","doi-asserted-by":"crossref","unstructured":"Jiang K, Pradeep R, Lin J (2021) Exploring listwise evidence reasoning with t5 for fact verification. In: Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 2: Short Papers), pp. 402\u2013410","DOI":"10.18653\/v1\/2021.acl-short.51"},{"key":"2679_CR36","doi-asserted-by":"crossref","unstructured":"Nie Y, Williams A, Dinan E, Bansal M, Weston J, Kiela D (2019) Adversarial nli: A new benchmark for natural language understanding. arXiv preprint arXiv:1910.14599","DOI":"10.18653\/v1\/2020.acl-main.441"},{"key":"2679_CR37","doi-asserted-by":"crossref","unstructured":"Wadden D, Lo K, Wang LL, Cohan A, Beltagy I, Hajishirzi H (2021) Multivers: Improving scientific claim verification with weak supervision and full-document context. arXiv preprint arXiv:2112.01640","DOI":"10.18653\/v1\/2022.findings-naacl.6"},{"key":"2679_CR38","unstructured":"Beltagy I, Peters ME, Cohan A (2020) Longformer: The long-document transformer. arXiv preprint arXiv:2004.05150"},{"key":"2679_CR39","unstructured":"Chen M, Tworek J, Jun H, Yuan Q, Pinto HPDO, Kaplan J, Edwards H, Burda Y, Joseph N, Brockman G, et\u00a0al (2021) Evaluating large language models trained on code. arXiv preprint arXiv:2107.03374"},{"key":"2679_CR40","doi-asserted-by":"crossref","unstructured":"Wang H, Shu K (2023) Explainable claim verification via knowledge-grounded reasoning with large language models. arXiv preprint arXiv:2310.05253","DOI":"10.18653\/v1\/2023.findings-emnlp.416"},{"key":"2679_CR41","first-page":"24824","volume":"35","author":"J Wei","year":"2022","unstructured":"Wei J, Wang X, Schuurmans D, Bosma M, Xia F, Chi E, Le QV, Zhou D (2022) Chain-of-thought prompting elicits reasoning in large language models. Adv Neural Inf Process Syst 35:24824\u201324837","journal-title":"Adv Neural Inf Process Syst"},{"key":"2679_CR42","doi-asserted-by":"crossref","unstructured":"Press O, Zhang M, Min S, Schmidt L, Smith NA, Lewis M (2022) Measuring and narrowing the compositionality gap in language models. arXiv preprint arXiv:2210.03350","DOI":"10.18653\/v1\/2023.findings-emnlp.378"},{"key":"2679_CR43","doi-asserted-by":"publisher","unstructured":"Olausson T, Gu A, Lipkin B, Zhang C, Solar-Lezama A, Tenenbaum J, Levy R (2023) LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers. In: Bouamor, H., Pino, J., Bali, K. (eds.) Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pp. 5153\u20135176. Association for Computational Linguistics, Singapore. https:\/\/doi.org\/10.18653\/v1\/2023.emnlp-main.313 . https:\/\/aclanthology.org\/2023.emnlp-main.313\/","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"2679_CR44","unstructured":"Han S, Schoelkopf H, Zhao Y, Qi Z, Riddell M, Zhou W, Coady J, Peng D, Qiao Y, Benson L et\u00a0al (2022) Folio: Natural language reasoning with first-order logic. arXiv preprint arXiv:2209.00840"},{"key":"2679_CR45","doi-asserted-by":"crossref","unstructured":"Han S, Yu A, Shen R, Qi Z, Riddell M, Zhou W, Qiao Y, Zhao Y, Yavuz S, Liu Y (2024) P-folio: Evaluating and improving logical reasoning with abundant human-written reasoning chains. Findings of the Association for Computational Linguistics: EMNLP 2024:16553\u201316565","DOI":"10.18653\/v1\/2024.findings-emnlp.966"}],"container-title":["International Journal of Machine Learning and Cybernetics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-025-02679-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13042-025-02679-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13042-025-02679-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:00:24Z","timestamp":1760547624000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13042-025-02679-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,26]]},"references-count":45,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["2679"],"URL":"https:\/\/doi.org\/10.1007\/s13042-025-02679-w","relation":{},"ISSN":["1868-8071","1868-808X"],"issn-type":[{"type":"print","value":"1868-8071"},{"type":"electronic","value":"1868-808X"}],"subject":[],"published":{"date-parts":[[2025,5,26]]},"assertion":[{"value":"12 February 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 May 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 May 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}