{"id":"https://openalex.org/W4414359275","doi":"https://doi.org/10.24963/ijcai.2025/1155","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","display_name":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414359275","doi":"https://doi.org/10.24963/ijcai.2025/1155"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/1155","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1155","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119679554","display_name":"Fengxiang Cheng","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Fengxiang Cheng","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064850719","display_name":"Haoxuan Li","orcid":"https://orcid.org/0000-0003-3620-3769"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210113480","display_name":"Mohamed bin Zayed University of Artificial Intelligence","ror":"https://ror.org/0258gkt32","country_code":"AE","type":"education","lineage":["https://openalex.org/I4210113480"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["AE","CN"],"is_corresponding":false,"raw_author_name":"Haoxuan Li","raw_affiliation_strings":["Center for Data Science, Peking University","Machine Learning Department, MBZUAI","Tsinghua-UvA JRC for Logic, Department of Philosophy, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Data Science, Peking University","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Machine Learning Department, MBZUAI","institution_ids":["https://openalex.org/I4210113480"]},{"raw_affiliation_string":"Tsinghua-UvA JRC for Logic, Department of Philosophy, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090696705","display_name":"Fenrong Liu","orcid":"https://orcid.org/0000-0001-7931-0324"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN","NL"],"is_corresponding":false,"raw_author_name":"Fenrong Liu","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam","Tsinghua-UvA JRC for Logic, Department of Philosophy, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Tsinghua-UvA JRC for Logic, Department of Philosophy, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022180773","display_name":"Robert van Rooij","orcid":"https://orcid.org/0000-0001-6819-6685"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Robert van Rooij","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104280861","display_name":"Kun Zhang","orcid":"https://orcid.org/0000-0002-7248-867X"},"institutions":[{"id":"https://openalex.org/I4210113480","display_name":"Mohamed bin Zayed University of Artificial Intelligence","ror":"https://ror.org/0258gkt32","country_code":"AE","type":"education","lineage":["https://openalex.org/I4210113480"]},{"id":"https://openalex.org/I4210133525","display_name":"Community of Mediterranean Universities","ror":"https://ror.org/03prr3914","country_code":"IT","type":"education","lineage":["https://openalex.org/I4210133525"]}],"countries":["AE","IT"],"is_corresponding":false,"raw_author_name":"Kun Zhang","raw_affiliation_strings":["Department of Philosophy, CMU","Machine Learning Department, MBZUAI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, CMU","institution_ids":["https://openalex.org/I4210133525"]},{"raw_affiliation_string":"Machine Learning Department, MBZUAI","institution_ids":["https://openalex.org/I4210113480"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016399094","display_name":"Zhouchen Lin","orcid":"https://orcid.org/0000-0003-1493-7569"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210087590","display_name":"Huzhou Vocational and Technical College","ror":"https://ror.org/002hfez23","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210087590"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhouchen Lin","raw_affiliation_strings":["Institute for Artificial Intelligence, Peking University","Pazhou Laboratory (Huangpu), Guangzhou","State Key Lab of General AI, School of Intelligence Science and Technology, Peking University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Artificial Intelligence, Peking University","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Pazhou Laboratory (Huangpu), Guangzhou","institution_ids":["https://openalex.org/I4210087590"]},{"raw_affiliation_string":"State Key Lab of General AI, School of Intelligence Science and Technology, Peking University","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"10400","last_page":"10408"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.8517000079154968,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.8517000079154968,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13643","display_name":"Artificial Intelligence in Law","score":0.7681000232696533,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13851","display_name":"Law, AI, and Intellectual Property","score":0.7415000200271606,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/logical-reasoning","display_name":"Logical reasoning","score":0.5655999779701233},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5403000116348267},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.5241000056266785},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.5164999961853027},{"id":"https://openalex.org/keywords/logical-data-model","display_name":"Logical data model","score":0.5091000199317932},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4781000018119812},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.4659999907016754},{"id":"https://openalex.org/keywords/non-classical-logic","display_name":"Non-classical logic","score":0.4350000023841858}],"concepts":[{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.5655999779701233},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5403000116348267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5342000126838684},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.5241000056266785},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.5164999961853027},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.5091000199317932},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4781000018119812},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.4659999907016754},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.4350000023841858},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4300999939441681},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.39500001072883606},{"id":"https://openalex.org/C2983390893","wikidata":"https://www.wikidata.org/wiki/Q1092582","display_name":"Logical analysis","level":3,"score":0.35690000653266907},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35530000925064087},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.35030001401901245},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3499000072479248},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.304500013589859},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2759000062942505},{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.25450000166893005}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/1155","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/1155","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6880877711","display_name":"From Learning to Meaning: A new approach to Generic Sentences and Implicit Biases","funder_award_id":"406.18.TW.007","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"(LLMs)":[3],"have":[4,14,105,114],"achieved":[5],"remarkable":[6],"successes":[7],"on":[8,146,148],"various":[9,164],"tasks.":[10],"However,":[11],"recent":[12],"studies":[13],"found":[15],"that":[16,206],"there":[17],"are":[18,74],"still":[19],"significant":[20],"challenges":[21],"to":[22,45,76,93,110,134,195,198],"the":[23,34,47,124],"logical":[24,53,156,165,210],"reasoning":[25,62],"abilities":[26],"of":[27,66,163],"LLMs,":[28],"which":[29,55],"can":[30,142],"be":[31,143],"categorized":[32,144],"into":[33],"following":[35],"two":[36],"aspects:":[37],"(1)":[38],"Logical":[39,71],"question":[40],"answering:":[41],"LLMs":[42,73],"often":[43],"fail":[44],"generate":[46],"correct":[48],"answer":[49,136],"within":[50],"a":[51,64,86,97,99,103,112,130],"complex":[52,137],"problem":[54],"requires":[56],"sophisticated":[57],"deductive,":[58],"inductive":[59],"or":[60],"abductive":[61],"given":[63],"collection":[65],"premises":[67],"and":[68,101,128,152,161,173,184,187,202],"constrains.":[69],"(2)":[70],"consistency:":[72],"prone":[75],"producing":[77],"responses":[78],"contradicting":[79],"themselves":[80],"across":[81],"different":[82],"questions.":[83],"For":[84],"example,":[85],"state-of-the-art":[87],"question-answering":[88],"LLM":[89],"Macaw,":[90],"answers":[91,108],"Yes":[92],"both":[94],"questions":[95],"Is":[96],"magpie":[98,113],"bird?":[100],"Does":[102,111],"bird":[104],"wings?":[106],"but":[107],"No":[109],"wings?.":[115],"To":[116,154],"facilitate":[117],"this":[118],"research":[119,190],"direction,":[120],"we":[121,158,178],"comprehensively":[122],"investigate":[123],"most":[125],"cutting-edge":[126],"methods":[127,141],"propose":[129],"detailed":[131],"taxonomy.":[132],"Specifically,":[133],"accurately":[135],"logic":[138,197],"questions,":[139],"previous":[140],"based":[145],"reliance":[147],"external":[149],"solvers,":[150],"prompts,":[151],"fine-tuning.":[153],"avoid":[155],"contradictions,":[157],"discuss":[159,188],"concepts":[160],"solutions":[162],"consistencies,":[166,172],"including":[167],"implication,":[168],"negation,":[169],"transitivity,":[170],"factuality":[171],"their":[174],"composites.":[175],"In":[176],"addition,":[177],"review":[179],"commonly":[180],"used":[181],"benchmark":[182],"datasets":[183],"evaluation":[185],"metrics,":[186],"promising":[189],"directions,":[191],"such":[192],"as":[193],"extending":[194],"modal":[196],"account":[199],"for":[200],"uncertainty":[201],"developing":[203],"efficient":[204],"algorithms":[205],"simultaneously":[207],"satisfy":[208],"multiple":[209],"consistencies.":[211]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":5}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}