{"id":"https://openalex.org/W7167605492","doi":"https://doi.org/10.48550/arxiv.2607.04534","title":"Mechanism-level routing failure in LLMs over Lean-verified algebraic structures","display_name":"Mechanism-level routing failure in LLMs over Lean-verified algebraic structures","publication_year":2026,"publication_date":"2026-07-05","ids":{"openalex":"https://openalex.org/W7167605492","doi":"https://doi.org/10.48550/arxiv.2607.04534"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.04534","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.04534","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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.04534","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133708977","display_name":"Manuel Israel C\u00e1zares","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C\u00e1zares, Manuel Israel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140159808","display_name":"Wenlin Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Wenlin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5140197743","display_name":"Haobo Ma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ma, Haobo","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":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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.14489999413490295,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.14489999413490295,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.11159999668598175,"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.11069999635219574,"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/closeness","display_name":"Closeness","score":0.5275999903678894},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.49079999327659607},{"id":"https://openalex.org/keywords/separable-space","display_name":"Separable space","score":0.4894999861717224},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.45890000462532043},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.3847000002861023},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3847000002861023},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.36149999499320984}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.542900025844574},{"id":"https://openalex.org/C2779545769","wikidata":"https://www.wikidata.org/wiki/Q5135364","display_name":"Closeness","level":2,"score":0.5275999903678894},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.49079999327659607},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.4894999861717224},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.45890000462532043},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4284000098705292},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38190001249313354},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.36149999499320984},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.31869998574256897},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29159998893737793},{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2802000045776367},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.26109999418258667}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.04534","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.04534","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":"doi:10.48550/arxiv.2607.04534","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.04534","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5443052053451538,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2,191],"empirical":[3],"study":[4],"of":[5,109,128],"structural":[6],"routing":[7,70,116],"failure":[8,120],"in":[9,43,140,148],"large":[10],"language":[11],"models":[12],"(LLMs)":[13],"over":[14],"a":[15,29,52,57,68,94,122,180],"formally":[16],"verified":[17],"algebraic":[18,206],"corpus.":[19],"The":[20,118,208],"task":[21],"requires":[22],"selecting":[23],"the":[24,40,60,199],"correct":[25],"proof-mechanism":[26,164],"label":[27,58],"from":[28,39,59],"fixed":[30],"closed":[31],"template":[32,78,153],"set":[33],"for":[34],"compact":[35],"mathematical":[36],"objects":[37],"drawn":[38],"FiberRing":[41,82],"formalization":[42],"Lean":[44,96],"4,":[45],"where":[46],"each":[47],"item":[48],"is":[49,67,121,142,146],"anchored":[50],"to":[51,103,204],"Lean-verified":[53],"artifact":[54],"and":[55,105,111,163,190,212],"assigned":[56],"corresponding":[61],"certificate":[62],"family.":[63],"Our":[64],"central":[65],"finding":[66],"mechanism-level":[69],"ceiling:":[71],"under":[72,135],"blind":[73],"conditions,":[74],"gpt-oss-120b":[75,125],"achieves":[76],"80.3%":[77],"accuracy":[79,102,145,154],"on":[80],"22":[81],"items":[83,131],"(n=66;":[84],"temperature=0,":[85],"seed=0),":[86],"while":[87,152],"Llama":[88,141],"3.3":[89],"70B":[90],"reaches":[91],"68.2%.":[92],"Exposing":[93],"mechanism-bearing":[95],"verdict/witness":[97],"cue":[98],"(Condition":[99],"A2)":[100],"raises":[101],"90.9%":[104],"81.8%":[106],"--":[107,158],"gaps":[108],"+10.6":[110],"+13.6":[112],"pp":[113,157],"termed":[114],"cue-induced":[115],"uplift.":[117],"dominant":[119],"CRT-to-ring-equivalence":[123],"misroute:":[124],"misroutes":[126],"7":[127],"12":[129],"CRT":[130],"(58.3%)":[132],"blind,":[133],"zero":[134],"A2.":[136],"A":[137,169],"cross-model":[138,193],"dissociation":[139,194],"notable:":[143],"verdict":[144],"identical":[147],"both":[149],"conditions":[150],"(95.5%),":[151],"improves":[155],"13.6":[156],"confirming":[159],"that":[160],"truth":[161],"inference":[162],"classification":[165],"are":[166,214],"separable":[167],"capacities.":[168],"cross-corpus":[170],"extension":[171],"(Set":[172],"B;":[173],"6":[174],"POM/CollisionKernel":[175],"items,":[176],"72":[177],"evaluations)":[178],"provides":[179],"small":[181],"cross-module":[182],"check:":[183],"CRT-granularity":[184],"compression":[185],"reappears":[186],"with":[187],"different":[188],"labels,":[189],"inverse":[192],"emerges.":[195],"These":[196],"findings":[197],"extend":[198],"router":[200],"hypothesis":[201],"(Cazares":[202],"2026)":[203],"formal":[205],"structures.":[207],"full":[209],"pipeline,":[210],"manifest,":[211],"results":[213],"at":[215],"https://github.com/bytepro-ai/fiber-routing-eval.":[216]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-08T00:00:00"}