{"id":"https://openalex.org/W4409476341","doi":"https://doi.org/10.1145/3729238","title":"Probing the Symbolic Logical Reasoning Ability of Large Language Models","display_name":"Probing the Symbolic Logical Reasoning Ability of Large Language Models","publication_year":2025,"publication_date":"2025-04-15","ids":{"openalex":"https://openalex.org/W4409476341","doi":"https://doi.org/10.1145/3729238"},"language":"en","primary_location":{"id":"doi:10.1145/3729238","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3729238","pdf_url":null,"source":{"id":"https://openalex.org/S2492086750","display_name":"ACM Transactions on Intelligent Systems and Technology","issn_l":"2157-6904","issn":["2157-6904","2157-6912"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Intelligent Systems and Technology","raw_type":"journal-article"},"type":"article","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/A5057828485","display_name":"Jianchao Ji","orcid":"https://orcid.org/0000-0002-0712-3527"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jianchao Ji","raw_affiliation_strings":["Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","Rutgers, The State University of New Jersey, USA"],"raw_orcid":"https://orcid.org/0000-0002-0712-3527","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers, The State University of New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100685181","display_name":"Zelong Li","orcid":"https://orcid.org/0000-0002-3110-4481"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zelong Li","raw_affiliation_strings":["Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","Rutgers, The State University of New Jersey, USA"],"raw_orcid":"https://orcid.org/0000-0002-3110-4481","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers, The State University of New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040605157","display_name":"Shuyuan Xu","orcid":"https://orcid.org/0000-0003-0865-5223"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shuyuan Xu","raw_affiliation_strings":["Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","Rutgers, The State University of New Jersey, USA"],"raw_orcid":"https://orcid.org/0000-0003-0865-5223","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers, The State University of New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042013742","display_name":"Wenyue Hua","orcid":"https://orcid.org/0009-0008-2043-2704"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wenyue Hua","raw_affiliation_strings":["Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","Rutgers, The State University of New Jersey, USA"],"raw_orcid":"https://orcid.org/0009-0008-2043-2704","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers, The State University of New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002064919","display_name":"Juntao Tan","orcid":"https://orcid.org/0000-0003-3646-933X"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Juntao Tan","raw_affiliation_strings":["Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","Rutgers, The State University of New Jersey, USA"],"raw_orcid":"https://orcid.org/0000-0003-3646-933X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers, The State University of New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014137454","display_name":"Haoming Gong","orcid":"https://orcid.org/0009-0004-0353-3571"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haoming Gong","raw_affiliation_strings":["Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","Rutgers, The State University of New Jersey, USA"],"raw_orcid":"https://orcid.org/0009-0004-0353-3571","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers, The State University of New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100329828","display_name":"Yongfeng Zhang","orcid":"https://orcid.org/0000-0003-2633-8555"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yongfeng Zhang","raw_affiliation_strings":["Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","Rutgers, The State University of New Jersey, USA"],"raw_orcid":"https://orcid.org/0000-0003-2633-8555","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rutgers University, New Brunswick, New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Rutgers, The State University of New Jersey, USA","institution_ids":["https://openalex.org/I102322142"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I102322142"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03293116,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"4","first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9958999752998352,"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/computer-science","display_name":"Computer science","score":0.9172500371932983},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4906224310398102},{"id":"https://openalex.org/keywords/opportunistic-reasoning","display_name":"Opportunistic reasoning","score":0.44649967551231384},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.4413696527481079},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4258440136909485},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.421338826417923},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3581467568874359},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.34154564142227173},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.18968167901039124}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9172500371932983},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4906224310398102},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.44649967551231384},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.4413696527481079},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4258440136909485},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.421338826417923},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3581467568874359},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.34154564142227173},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.18968167901039124},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729238","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3729238","pdf_url":null,"source":{"id":"https://openalex.org/S2492086750","display_name":"ACM Transactions on Intelligent Systems and Technology","issn_l":"2157-6904","issn":["2157-6904","2157-6912"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Intelligent Systems and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1840435438","https://openalex.org/W2512965516","https://openalex.org/W2783272285","https://openalex.org/W2889787757","https://openalex.org/W2951645301","https://openalex.org/W2962784628","https://openalex.org/W2963367478","https://openalex.org/W2963846996","https://openalex.org/W2966483207","https://openalex.org/W2981852735","https://openalex.org/W2984100107","https://openalex.org/W2989743967","https://openalex.org/W3016011332","https://openalex.org/W3024683329","https://openalex.org/W3065542300","https://openalex.org/W3093531652","https://openalex.org/W3100260481","https://openalex.org/W3100560913","https://openalex.org/W3153088333","https://openalex.org/W3185341429","https://openalex.org/W3200664681","https://openalex.org/W4221159132","https://openalex.org/W4231708524","https://openalex.org/W4283733706","https://openalex.org/W4288089799","https://openalex.org/W4296591867","https://openalex.org/W4312407537","https://openalex.org/W4316369398","https://openalex.org/W4385270188","https://openalex.org/W4385573007","https://openalex.org/W4393065402","https://openalex.org/W4396735718"],"related_works":["https://openalex.org/W1488241869","https://openalex.org/W2351118185","https://openalex.org/W94330105","https://openalex.org/W2361142061","https://openalex.org/W2314311764","https://openalex.org/W2574333357","https://openalex.org/W2087772460","https://openalex.org/W2077968118","https://openalex.org/W2347305376","https://openalex.org/W646848429"],"abstract_inverted_index":{"Large":[0,86],"Language":[1,87],"Models":[2],"(LLMs)":[3],"have":[4],"achieved":[5],"significant":[6],"successes":[7],"in":[8,45,59,101,105,155,168],"various":[9],"research":[10],"domains":[11],"by":[12],"learning":[13],"the":[14,31,92,109,116,164],"relationship":[15],"between":[16],"words.":[17],"However,":[18],"while":[19],"these":[20,79],"models":[21,167],"are":[22,40,57,63,103],"capable":[23],"of":[24,94,118,145],"making":[25],"predictions":[26],"and":[27,48,97,108,126,138,159],"inferences":[28],"based":[29,64],"on":[30,65,131],"learned":[32],"patterns,":[33],"they":[34],"lack":[35],"logical":[36,95,106,112,120,136,157],"reasoning":[37,96],"abilities,":[38],"which":[39],"crucial":[41],"for":[42,70],"solving":[43,60,156],"problems":[44,61],"both":[46,132],"theoretical":[47,133,147],"practical":[49,139],"domains.":[50],"In":[51,76],"addition,":[52],"traditional":[53],"logic":[54],"inference":[55],"methods":[56],"effective":[58,154],"that":[62,90,150],"logic,":[66],"but":[67],"not":[68],"suitable":[69],"general":[71],"tasks":[72,134,140],"such":[73,122],"as":[74,123],"recommendations.":[75],"response":[77],"to":[78,114],"challenges,":[80],"this":[81],"article":[82],"introduces":[83],"a":[84],"Logical":[85],"Model":[88],"(L3M)":[89],"integrates":[91],"strengths":[93],"LLMs.":[98],"The":[99,143],"data":[100],"L3M":[102,151,162],"represented":[104],"expressions,":[107],"model":[110],"uses":[111],"constraints":[113],"learn":[115],"rules":[117],"basic":[119],"operations":[121],"And,":[124],"Or,":[125],"Not.":[127],"We":[128],"conduct":[129],"experiments":[130,148],"(solving":[135],"equations)":[137],"(recommender":[141],"systems).":[142],"results":[144],"our":[146],"demonstrate":[149],"is":[152],"highly":[153],"expressions":[158],"variables.":[160],"Additionally,":[161],"outperforms":[163],"state-of-the-art":[165],"recommendation":[166,170],"sequential":[169],"tasks.":[171]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}