{"id":"https://openalex.org/W7204592886","doi":"https://doi.org/10.48550/arxiv.2608.26187","title":"When the Canonical Completion Is Wrong: Formalizing and Measuring the Jump in Large Language Models","display_name":"When the Canonical Completion Is Wrong: Formalizing and Measuring the Jump in Large Language Models","publication_year":2026,"publication_date":"2026-08-22","ids":{"openalex":"https://openalex.org/W7204592886","doi":"https://doi.org/10.48550/arxiv.2608.26187"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.26187","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26187","pdf_url":"https://arxiv.org/pdf/2608.26187","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.26187","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138748554","display_name":"Dai Shi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Shi, Dai","raw_affiliation_strings":["University of Cambridge , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge , United Kingdom","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148510828","display_name":"Xiaoyu Li","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Li, Xiaoyu","raw_affiliation_strings":["University of New South Wales , Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of New South Wales , Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5124939607","display_name":"Jose Miguel Hern\u00e1ndez-Lobato","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hern\u00e1ndez-Lobato, Jos\u00e9 Miguel","raw_affiliation_strings":["University of Cambridge , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge , United Kingdom","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.36890000104904175,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.36890000104904175,"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.25290000438690186,"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/T13904","display_name":"Artificial Intelligence Applications","score":0.04839999973773956,"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/large-language-models","display_name":"large language models","score":0.9169999957084656},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"abductive reasoning","score":0.7900000214576721},{"id":"https://openalex.org/keywords/kan-extensions","display_name":"Kan extensions","score":0.8980000019073486},{"id":"https://openalex.org/keywords/chain-of-thought-reasoning","display_name":"chain-of-thought reasoning","score":0.5849999785423279},{"id":"https://openalex.org/keywords/model-calibration","display_name":"model calibration","score":0.4560000002384186}],"concepts":[{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.8094000220298767},{"id":"https://openalex.org/C90329073","wikidata":"https://www.wikidata.org/wiki/Q914232","display_name":"Ask price","level":2,"score":0.6333000063896179},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5975000262260437},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47589999437332153},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.453900009393692},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.45239999890327454},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.4320000112056732},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.3901999890804291},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.388700008392334},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3837999999523163},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.36890000104904175},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33070001006126404},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C69637215","wikidata":"https://www.wikidata.org/wiki/Q702362","display_name":"Default","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2685999870300293},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2624000012874603},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.2612000107765198},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.26187","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26187","pdf_url":"https://arxiv.org/pdf/2608.26187","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.26187","doi":"https://doi.org/10.48550/arxiv.2608.26187","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.26187","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.26187","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26187","pdf_url":"https://arxiv.org/pdf/2608.26187","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204592886.pdf","grobid_xml":"https://content.openalex.org/works/W7204592886.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7170038186","https://openalex.org/W4416955638","https://openalex.org/W7140127370","https://openalex.org/W7140926155","https://openalex.org/W7204156117","https://openalex.org/W4417167880","https://openalex.org/W7139974692","https://openalex.org/W7166125296","https://openalex.org/W7118010366","https://openalex.org/W4402671982"],"abstract_inverted_index":{"Whether":[0],"large":[1],"language":[2],"models":[3,175,194,204],"(LLMs)":[4],"can":[5,216],"perform":[6],"the":[7,53,57,62,66,84,91,97,105,110,135,140,161,166,170,197,224,240,246,250,255],"abductive":[8],"leap":[9],"from":[10],"evidence":[11],"to":[12,20,70,78,149],"a":[13,22,80,124,128,154,157],"new":[14,111],"system":[15],"of":[16,38,52,64,83,100,208,254],"axioms,":[17],"commonly":[18],"referred":[19],"as":[21,127],"jump,":[23],"has":[24],"recently":[25],"attracted":[26],"considerable":[27],"debate.":[28],"A":[29],"prominent":[30],"position":[31],"holds":[32],"that":[33,205,214],"LLMs":[34],"are":[35],"structurally":[36],"incapable":[37],"such":[39],"jumps,":[40],"while":[41],"recent":[42],"studies":[43],"challenge":[44],"both":[45],"its":[46],"mechanism":[47],"and":[48,89,117,143,226,244],"empirical":[49,230],"evidence.":[50],"One":[51],"main":[54],"reasons":[55],"why":[56],"debate":[58],"remains":[59,232],"open":[60],"is":[61,257],"difficulty":[63],"defining":[65],"jump":[67,85,217,248],"precisely":[68],"enough":[69],"test":[71],"it.":[72],"In":[73,151],"this":[74,152,219],"paper,":[75],"we":[76],"attempt":[77],"develop":[79],"formal":[81],"account":[82],"in":[86,185,249],"four":[87],"steps":[88,94],"measure":[90],"second.":[92],"These":[93],"ask":[95],"what":[96],"default":[98,159],"completion":[99,147,168,182,199],"partial":[101],"data":[102],"is,":[103],"when":[104],"constraints":[106,133],"exclude":[107,134],"it,":[108],"whether":[109],"structure":[112],"agrees":[113],"with":[114,156],"later":[115],"observations,":[116],"how":[118],"successive":[119],"jumps":[120],"compound.":[121],"We":[122,172,221,235],"define":[123],"\\emph{jump":[125],"instance}":[126],"finite":[129],"extension":[130],"problem":[131],"whose":[132,229],"canonical":[136,158,181],"completions":[137],"given":[138],"by":[139,164],"Kan":[141],"extensions":[142],"leave":[144],"one":[145],"correct":[146,167,198],"up":[148],"renaming.":[150],"setting,":[153],"model":[155],"performs":[160],"second":[162],"step":[163],"producing":[165],"under":[169],"constraints.":[171],"evaluate":[173],"fourteen":[174],"across":[176,189],"three":[177,202],"certified":[178],"families.":[179],"The":[180,252],"returns":[183],"once":[184],"$13{,}300$":[186],"constrained":[187],"answers":[188],"all":[190],"runs.":[191],"Several":[192],"calibrated":[193],"also":[195],"give":[196],"reliably,":[200],"including":[201],"API":[203],"solve":[206],"$159$":[207],"$162$":[209],"primary":[210],"chain":[211],"trials,":[212],"suggesting":[213],"they":[215],"at":[218,259],"step.":[220],"further":[222],"formalize":[223],"third":[225],"fourth":[227],"steps,":[228],"evaluation":[231],"future":[233],"work.":[234],"hope":[236],"our":[237],"work":[238],"paves":[239],"path":[241],"for":[242],"formalizing":[243],"measuring":[245],"full":[247],"future.":[251],"code":[253],"paper":[256],"available":[258],"https://github.com/EEthanShi/kan-jump-test.":[260]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-08-29T00:00:00"}