{"id":"https://openalex.org/W4416189924","doi":"https://doi.org/10.48550/arxiv.2511.07910","title":"Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning","display_name":"Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning","publication_year":2025,"publication_date":"2025-11-11","ids":{"openalex":"https://openalex.org/W4416189924","doi":"https://doi.org/10.48550/arxiv.2511.07910"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2511.07910","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.07910","pdf_url":"https://arxiv.org/pdf/2511.07910","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2511.07910","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085853632","display_name":"Songze Li","orcid":"https://orcid.org/0000-0003-4282-3307"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Li, Songze","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101839975","display_name":"Zhiqiang Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Zhiqiang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036910546","display_name":"Zizhao Gong","orcid":"https://orcid.org/0009-0003-1887-8954"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gong, Zhaoyan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113024558","display_name":"Xiaoke Guo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Xiaoke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003118796","display_name":"Zhengke Gui","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gui, Zhengke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115589223","display_name":"Huajun Chen","orcid":"https://orcid.org/0000-0002-0998-3387"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Huajun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101536500","display_name":"Wen Zhang","orcid":"https://orcid.org/0000-0001-9576-5644"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Wen","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5085853632"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.5982999801635742,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.5982999801635742,"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.22390000522136688,"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/T11714","display_name":"Multimodal Machine Learning Applications","score":0.05469999834895134,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/workflow","display_name":"Workflow","score":0.5655999779701233},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.508400022983551},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4350999891757965},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4343999922275543},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.40639999508857727},{"id":"https://openalex.org/keywords/natural-language-understanding","display_name":"Natural language understanding","score":0.3671000003814697},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.3578000068664551},{"id":"https://openalex.org/keywords/case-based-reasoning","display_name":"Case-based reasoning","score":0.33320000767707825},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.3310999870300293}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7142999768257141},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5655999779701233},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.508400022983551},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4453999996185303},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4350999891757965},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4343999922275543},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.40639999508857727},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.3671000003814697},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3393000066280365},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.33320000767707825},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.3310999870300293},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3249000012874603},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3212999999523163},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.31369999051094055},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C22367795","wikidata":"https://www.wikidata.org/wiki/Q7625208","display_name":"Structured prediction","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3028999865055084},{"id":"https://openalex.org/C124469403","wikidata":"https://www.wikidata.org/wiki/Q1813993","display_name":"Procedural knowledge","level":3,"score":0.298799991607666},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.29580000042915344},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2865999937057495},{"id":"https://openalex.org/C57098296","wikidata":"https://www.wikidata.org/wiki/Q12021746","display_name":"Interrogative","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C14156362","wikidata":"https://www.wikidata.org/wiki/Q3235388","display_name":"Descriptive knowledge","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.2709999978542328},{"id":"https://openalex.org/C84685590","wikidata":"https://www.wikidata.org/wiki/Q1540472","display_name":"Knowledge engineering","level":2,"score":0.2694000005722046},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.2614000141620636},{"id":"https://openalex.org/C2776187449","wikidata":"https://www.wikidata.org/wiki/Q1513879","display_name":"Natural language generation","level":3,"score":0.2597000002861023}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2511.07910","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.07910","pdf_url":"https://arxiv.org/pdf/2511.07910","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2511.07910","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.07910","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2511.07910","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.07910","pdf_url":"https://arxiv.org/pdf/2511.07910","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4416189924.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"Language":[1],"Models":[2],"(LLMs)":[3],"achieve":[4],"excellent":[5],"performance":[6,172],"in":[7,24,53,75,96,117,151,165],"natural":[8,25],"language":[9,26],"reasoning":[10,56,102,168],"tasks":[11,57,108],"through":[12],"pre-training":[13],"on":[14,173],"vast":[15],"unstructured":[16,36],"text,":[17],"enabling":[18],"them":[19],"to":[20,44,49,77,90,106,147],"understand":[21],"the":[22,32,93,124,128,134],"logic":[23,46,115,163],"and":[27,37,88,109,141,169],"generate":[28],"logic-consistent":[29],"responses.":[30],"However,":[31],"representational":[33],"differences":[34],"between":[35],"structured":[38,54,118,166],"knowledge":[39,55,110,119,167],"make":[40],"LLMs":[41],"inherently":[42],"struggle":[43],"maintain":[45],"consistency,":[47],"leading":[48],"\\textit{Logic":[50,94],"Drift}":[51,95],"challenges":[52],"such":[58],"as":[59,144],"Knowledge":[60],"Graph":[61],"Question":[62],"Answering":[63],"(KGQA).":[64],"Existing":[65],"methods":[66],"address":[67,92],"this":[68],"limitation":[69],"by":[70],"designing":[71],"complex":[72],"workflows":[73,103],"embedded":[74],"prompts":[76],"guide":[78],"LLM":[79,97,152],"reasoning.":[80],"Nevertheless,":[81],"these":[82],"approaches":[83],"only":[84],"provide":[85],"input-level":[86],"guidance":[87],"fail":[89],"fundamentally":[91],"outputs.":[98,153],"Additionally,":[99],"their":[100],"inflexible":[101],"cannot":[104],"adapt":[105],"different":[107],"graphs.":[111],"To":[112],"enhance":[113],"LLMs'":[114,162],"consistency":[116,164],"reasoning,":[120],"we":[121],"specifically":[122],"target":[123],"logits":[125,139,142],"output":[126],"from":[127],"autoregressive":[129],"generation":[130],"process.":[131],"We":[132],"propose":[133],"\\textit{Logits-to-Logic}":[135],"framework,":[136],"which":[137],"incorporates":[138],"strengthening":[140],"filtering":[143],"core":[145],"modules":[146],"correct":[148],"logical":[149],"defects":[150],"Extensive":[154],"experiments":[155],"show":[156],"that":[157],"our":[158],"approach":[159],"significantly":[160],"improves":[161],"achieves":[170],"state-of-the-art":[171],"multiple":[174],"KGQA":[175],"benchmarks.":[176]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-11-13T00:00:00"}