{"id":"https://openalex.org/W7130689585","doi":"https://doi.org/10.48550/arxiv.2602.17520","title":"When Models Ignore Definitions: Measuring Semantic Override Hallucinations in LLM Reasoning","display_name":"When Models Ignore Definitions: Measuring Semantic Override Hallucinations in LLM Reasoning","publication_year":2026,"publication_date":"2026-02-19","ids":{"openalex":"https://openalex.org/W7130689585","doi":"https://doi.org/10.48550/arxiv.2602.17520"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.17520","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098980261","display_name":"Yogeswar Reddy Thota","orcid":"https://orcid.org/0009-0002-0192-1066"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thota, Yogeswar Reddy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126517190","display_name":"Setareh Rafatirad","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rafatirad, Setareh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102281131","display_name":"Homayoun Houman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Houman, Homayoun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5051431139","display_name":"Tooraj Nikoubin","orcid":"https://orcid.org/0000-0003-1724-3503"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nikoubin, Tooraj","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19834596,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.3806999921798706,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.3806999921798706,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.1404000073671341,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.12430000305175781,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/correctness","display_name":"Correctness","score":0.7807000279426575},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.6534000039100647},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5967000126838684},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4731999933719635},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4571000039577484},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4458000063896179},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.40639999508857727},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.34360000491142273}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7807000279426575},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.6534000039100647},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6327999830245972},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5967000126838684},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4731999933719635},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4571000039577484},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4458000063896179},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4350000023841858},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.40639999508857727},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.37389999628067017},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36719998717308044},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.34200000762939453},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.32600000500679016},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3131999969482422},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.3127000033855438},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2939000129699707},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C86034646","wikidata":"https://www.wikidata.org/wiki/Q474311","display_name":"Semantic gap","level":4,"score":0.2808000147342682},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.17520","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.17520","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.17520","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.17520","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"score":0.5479064583778381,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2,52,109],"(LLMs)":[3],"demonstrate":[4],"strong":[5],"performance":[6],"on":[7],"standard":[8],"digital":[9],"logic":[10,131],"and":[11,34,38,132,147,165,180,191],"Boolean":[12,141],"reasoning":[13,47,134],"tasks,":[14],"yet":[15],"their":[16],"reliability":[17],"under":[18],"locally":[19],"redefined":[20,42,145],"semantics":[21,114],"remains":[22],"poorly":[23],"understood.":[24],"In":[25,64],"many":[26],"formal":[27,195],"settings,":[28],"such":[29],"as":[30,137],"circuit":[31],"specifications,":[32,160],"examinations,":[33],"hardware":[35,113],"documentation,":[36],"operators":[37,88],"components":[39],"are":[40,118],"explicitly":[41,187],"within":[43],"narrow":[44],"scope.":[45],"Correct":[46],"in":[48,59,77,95,169,194],"these":[49],"contexts":[50],"requires":[51],"to":[53,82,111],"temporarily":[54],"suppress":[55],"globally":[56],"learned":[57],"conventions":[58],"favor":[60],"of":[61,87,104,129],"prompt-local":[62],"definitions.":[63],"this":[65],"work,":[66],"we":[67,73,154],"study":[68],"a":[69,101,126,175],"systematic":[70],"failure":[71],"mode":[72],"term":[74],"semantic":[75,192],"override,":[76],"which":[78],"an":[79],"LLM":[80],"reverts":[81],"its":[83],"pretrained":[84],"default":[85],"interpretation":[86],"or":[89],"gate":[90],"behavior":[91],"despite":[92],"explicit":[93],"redefinition":[94],"the":[96],"prompt.":[97],"We":[98,124],"also":[99],"identify":[100],"related":[102],"class":[103],"errors,":[105],"assumption":[106],"injection,":[107],"where":[108],"commit":[110],"unstated":[112],"when":[115],"critical":[116],"details":[117],"underspecified,":[119],"rather":[120],"than":[121],"requesting":[122],"clarification.":[123],"introduce":[125],"compact":[127],"micro-benchmark":[128],"30":[130],"digital-circuit":[133],"tasks":[135],"designed":[136],"verifier-style":[138],"traps,":[139],"spanning":[140],"algebra,":[142],"operator":[143],"overloading,":[144],"gates,":[146],"circuit-level":[148],"semantics.":[149],"Evaluating":[150],"three":[151],"frontier":[152],"LLMs,":[153],"observe":[155],"persistent":[156],"noncompliance":[157],"with":[158],"local":[159,189],"confident":[161],"but":[162],"incompatible":[163],"assumptions,":[164],"dropped":[166],"constraints":[167],"even":[168],"elementary":[170],"settings.":[171],"Our":[172],"findings":[173],"highlight":[174],"gap":[176],"between":[177],"surface-level":[178],"correctness":[179],"specification-faithful":[181],"reasoning,":[182],"motivating":[183],"evaluation":[184],"protocols":[185],"that":[186],"test":[188],"unlearning":[190],"compliance":[193],"domains.":[196]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-02-21T00:00:00"}