{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T01:58:20Z","timestamp":1772935100588,"version":"3.50.1"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100015401","name":"Key Research and Development Project in Shaanxi Province","doi-asserted-by":"publisher","award":["2023GXLH-024"],"award-info":[{"award-number":["2023GXLH-024"]}],"id":[{"id":"10.13039\/501100015401","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Science Foundation of China","doi-asserted-by":"publisher","award":["62406242,62476215,62302380,62037001,62137002,62192781"],"award-info":[{"award-number":["62406242,62476215,62302380,62037001,62137002,62192781"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2023M742789"],"award-info":[{"award-number":["2023M742789"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,8]]},"DOI":"10.1109\/bigdata66926.2025.11401932","type":"proceedings-article","created":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T20:57:57Z","timestamp":1772830677000},"page":"99-104","source":"Crossref","is-referenced-by-count":0,"title":["Generation, Validation, and Selection: A Proof-by-Contradiction Reasoning Chain Data Synthesis Method for Enhancing Indirect Reasoning in Large Language Models"],"prefix":"10.1109","author":[{"given":"Runsheng","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Xi'an Jiaotong University,Xi'an,Shaanxi,China,710049"}]},{"given":"Kai","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xi'an Jiaotong University,Xi'an,Shaanxi,China,710049"}]},{"given":"Bin","family":"Shi","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xi'an Jiaotong University,Xi'an,Shaanxi,China,710049"}]},{"given":"Bo","family":"Dong","sequence":"additional","affiliation":[{"name":"Shaanxi Provincial Key Laboratory of Big Data Knowledge Engineering, Xi'an Jiaotong University,Xi'an,Shaanxi,China,710049"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.52202\/079017-4019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.1160"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"ref4","article-title":"Automatic chain of thought prompting in large language models","volume-title":"The Eleventh International Conference on Learning Representations","author":"Zhang"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.720"},{"key":"ref6","article-title":"Program of thoughts prompting: Disentangling computation from reasoning for numerical reasoning tasks","author":"Chen","year":"2022","journal-title":"arXiv preprint"},{"key":"ref7","article-title":"Cumulative reasoning with large language models","author":"Zhang","year":"2025","journal-title":"Transactions on Machine Learning Research"},{"key":"ref8","article-title":"Least-to-most prompting enables complex reasoning in large language models","volume-title":"The Eleventh International Conference on Learning Representations","author":"Zhou"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.patter.2025.101370"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-emnlp.191"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.410"},{"key":"ref12","first-page":"5040","article-title":"Large language models as an indirect reasoner: Contrapositive and contradiction for automated reasoning","volume-title":"Proceedings of the 31st International Conference on Computational Linguistics","author":"Zhang"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.67"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.52202\/075280-0517"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i16.29720"},{"key":"ref16","article-title":"Self-consistency improves chain of thought reasoning in language models","volume-title":"The Eleventh International Conference on Learning Representations","author":"Wang"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.782"},{"key":"ref18","article-title":"Improving large language model fine-tuning for solving math problems","author":"Liu","year":"2023","journal-title":"arXiv preprint"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.649"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.acl-long.191"},{"key":"ref21","article-title":"MAmmoTH: Building math generalist models through hybrid instruction tuning","volume-title":"The Twelfth International Conference on Learning Representations","author":"Yue"},{"key":"ref22","first-page":"9074","article-title":"Enhancing the reasoning capabilities of small language models via solution guidance fine-tuning","volume-title":"Proceedings of the 31st International Conference on Computational Linguistics","author":"Bi"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.54"},{"key":"ref24","article-title":"Language models can teach themselves to program better","volume-title":"The Eleventh International Conference on Learning Representations","author":"Haluptzok"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1126"},{"key":"ref26","article-title":"Common 7b language models already possess strong math capabilities","author":"Li","year":"2024","journal-title":"arXiv preprint"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i23.34645"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i23.34593"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.441"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.52202\/079017-0059"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.emnlp-main.1229"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.findings-acl.317"}],"event":{"name":"2025 IEEE International Conference on Big Data (BigData)","location":"Macau, China","start":{"date-parts":[[2025,12,8]]},"end":{"date-parts":[[2025,12,11]]}},"container-title":["2025 IEEE International Conference on Big Data (BigData)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11400704\/11400712\/11401932.pdf?arnumber=11401932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T07:21:28Z","timestamp":1772868088000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11401932\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,8]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/bigdata66926.2025.11401932","relation":{},"subject":[],"published":{"date-parts":[[2025,12,8]]}}}