{"id":"https://openalex.org/W4406460691","doi":"https://doi.org/10.1109/bigdata62323.2024.10825450","title":"Graph of Logic: Enhancing LLM Reasoning with Graphs and Symbolic Logic","display_name":"Graph of Logic: Enhancing LLM Reasoning with Graphs and Symbolic Logic","publication_year":2024,"publication_date":"2024-12-15","ids":{"openalex":"https://openalex.org/W4406460691","doi":"https://doi.org/10.1109/bigdata62323.2024.10825450"},"language":"en","primary_location":{"id":"doi:10.1109/bigdata62323.2024.10825450","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bigdata62323.2024.10825450","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Big Data (BigData)","raw_type":"proceedings-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/A5035434290","display_name":"Fatimah Alotaibi","orcid":"https://orcid.org/0000-0001-9871-8966"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Fatimah Alotaibi","raw_affiliation_strings":["Virginia Tech,Department of Computer Science,Blacksburg,United States"],"affiliations":[{"raw_affiliation_string":"Virginia Tech,Department of Computer Science,Blacksburg,United States","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035086694","display_name":"Adithya Kulkarni","orcid":"https://orcid.org/0000-0002-4625-4212"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adithya Kulkarni","raw_affiliation_strings":["Virginia Tech,Department of Computer Science,Blacksburg,United States"],"affiliations":[{"raw_affiliation_string":"Virginia Tech,Department of Computer Science,Blacksburg,United States","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049799014","display_name":"Dawei Zhou","orcid":"https://orcid.org/0000-0002-3611-4363"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dawei Zhou","raw_affiliation_strings":["Virginia Tech,Department of Computer Science,Blacksburg,United States"],"affiliations":[{"raw_affiliation_string":"Virginia Tech,Department of Computer Science,Blacksburg,United States","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5035434290"],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":0.7274,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78367705,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"5926","last_page":"5935"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9926000237464905,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9926000237464905,"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/T10028","display_name":"Topic Modeling","score":0.9818000197410583,"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.9811999797821045,"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.6548418998718262},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47658368945121765},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3444942831993103}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6548418998718262},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47658368945121765},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3444942831993103}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/bigdata62323.2024.10825450","is_oa":false,"landing_page_url":"https://doi.org/10.1109/bigdata62323.2024.10825450","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Big Data (BigData)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":72,"referenced_works":["https://openalex.org/W569478347","https://openalex.org/W1583837637","https://openalex.org/W2971107062","https://openalex.org/W3183859557","https://openalex.org/W3203321135","https://openalex.org/W4221143046","https://openalex.org/W4221161695","https://openalex.org/W4225080353","https://openalex.org/W4226278401","https://openalex.org/W4281250694","https://openalex.org/W4281483047","https://openalex.org/W4287854706","https://openalex.org/W4292779060","https://openalex.org/W4302305823","https://openalex.org/W4304194220","https://openalex.org/W4310625358","https://openalex.org/W4312045654","https://openalex.org/W4320858367","https://openalex.org/W4321011982","https://openalex.org/W4377130677","https://openalex.org/W4378189609","https://openalex.org/W4379933154","https://openalex.org/W4385327568","https://openalex.org/W4385569771","https://openalex.org/W4385570291","https://openalex.org/W4385571689","https://openalex.org/W4385572727","https://openalex.org/W4385681791","https://openalex.org/W4385768082","https://openalex.org/W4388725733","https://openalex.org/W4389519818","https://openalex.org/W4391097696","https://openalex.org/W4391272888","https://openalex.org/W4392020052","https://openalex.org/W4392669753","https://openalex.org/W4393160302","https://openalex.org/W4396669430","https://openalex.org/W4399261722","https://openalex.org/W4399395095","https://openalex.org/W4399454054","https://openalex.org/W4402671211","https://openalex.org/W4402671807","https://openalex.org/W4404781621","https://openalex.org/W4404782821","https://openalex.org/W6778883912","https://openalex.org/W6787980799","https://openalex.org/W6804474253","https://openalex.org/W6809646742","https://openalex.org/W6810162553","https://openalex.org/W6810738896","https://openalex.org/W6837989031","https://openalex.org/W6838954895","https://openalex.org/W6839795883","https://openalex.org/W6845413636","https://openalex.org/W6846444394","https://openalex.org/W6846626714","https://openalex.org/W6846648116","https://openalex.org/W6847590777","https://openalex.org/W6847841162","https://openalex.org/W6849590751","https://openalex.org/W6849891405","https://openalex.org/W6850063559","https://openalex.org/W6852880157","https://openalex.org/W6853465110","https://openalex.org/W6854474899","https://openalex.org/W6855356340","https://openalex.org/W6855392298","https://openalex.org/W6857899672","https://openalex.org/W6861153416","https://openalex.org/W6861770210","https://openalex.org/W6869526725","https://openalex.org/W6869843423"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"(LLMs)":[3],"have":[4],"been":[5],"shown":[6],"to":[7,15,78,115,132],"struggle":[8],"with":[9,99,193],"complex":[10,125,146],"logical":[11,81,174],"reasoning":[12,40,82,147,185],"tasks":[13],"due":[14],"the":[16,36,86,94,100,109,184,191,200,206,212,222],"inherent":[17],"ambiguity":[18,66],"and":[19,32,41,54,67,104,119,138,166,202,215],"complexity":[20],"of":[21,38,88,96,102,112,145,160,173,187,197,218],"natural":[22],"language.":[23],"These":[24,162],"challenges":[25],"are":[26,52],"further":[27],"amplified":[28],"when":[29,50],"processing":[30],"large":[31,136],"diverse":[33],"datasets,":[34,156],"increasing":[35],"likelihood":[37],"unfaithful":[39],"predictive":[42],"hallucinations.":[43],"However,":[44],"LLMs":[45,103],"can":[46,63],"provide":[47],"accurate":[48],"responses":[49],"queries":[51],"clear":[53],"direct.":[55],"Symbolic":[56],"logic":[57,114],"provides":[58],"precise,":[59],"well-defined":[60],"rules":[61,111],"that":[62],"help":[64],"overcome":[65],"support":[68,133],"reasoning.":[69,161],"In":[70],"this":[71],"work,":[72],"we":[73],"leverage":[74],"symbolic":[75,105,113],"logic\u2019s":[76],"precision":[77],"enhance":[79],"LLMs\u2019":[80],"capabilities":[83,186],"by":[84],"introducing":[85],"Graph":[87],"Logic":[89],"(GoL)":[90],"framework.":[91],"GoL":[92,107,128,189],"combines":[93],"power":[95],"graph":[97,130],"structures":[98,131],"strengths":[101],"logic.":[106],"utilizes":[108,129],"precise":[110],"infer":[116],"new":[117],"facts":[118],"detect":[120],"LLM":[121],"hallucinations":[122],"effectively":[123],"on":[124],"datasets.":[126],"Furthermore,":[127],"scalability":[134],"for":[135,199,208,211,221],"datasets":[137,210,220],"tackle":[139],"long":[140],"dependencies,":[141],"enabling":[142],"efficient":[143],"handling":[144],"tasks.":[148],"We":[149],"conduct":[150],"extensive":[151],"experiments":[152],"across":[153],"seven":[154,219],"benchmark":[155],"encompassing":[157],"various":[158],"types":[159],"include":[163],"deductive,":[164],"inductive,":[165],"abductive":[167],"reasoning,":[168],"each":[169],"testing":[170],"distinct":[171],"aspects":[172],"inference.":[175],"The":[176],"experimental":[177],"results":[178],"demonstrate":[179],"GoL\u2019s":[180],"advantage":[181],"in":[182],"improving":[183],"LLMs.":[188],"outperforms":[190],"baselines":[192,207],"an":[194],"average":[195],"margin":[196],"18.18%":[198],"GPT-3.5":[201,213],"GPT-4":[203,223],"models,":[204],"outperforming":[205],"all":[209],"model":[214],"six":[216],"out":[217],"model<sup":[224],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[225],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sup>.":[226]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}