{"id":"https://openalex.org/W7161292139","doi":"https://doi.org/10.48550/arxiv.2605.14084","title":"CRANE: Constrained Reasoning Injection for Code Agents via Nullspace Editing","display_name":"CRANE: Constrained Reasoning Injection for Code Agents via Nullspace Editing","publication_year":2026,"publication_date":"2026-05-13","ids":{"openalex":"https://openalex.org/W7161292139","doi":"https://doi.org/10.48550/arxiv.2605.14084"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.14084","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14084","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.14084","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136214932","display_name":"Mingzhi Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Mingzhi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068061267","display_name":"Michele Merler","orcid":"https://orcid.org/0000-0002-4358-8671"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Merler, Michele","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087072038","display_name":"Raju Pavuluri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pavuluri, Raju","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5081738999","display_name":"Stacy Patterson","orcid":"https://orcid.org/0000-0001-7711-6018"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patterson, Stacy","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"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/T10260","display_name":"Software Engineering Research","score":0.14180000126361847,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.14180000126361847,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.1103999987244606,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.09059999883174896,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6237000226974487},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5425999760627747},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.4799000024795532},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4505000114440918},{"id":"https://openalex.org/keywords/program-code","display_name":"Program code","score":0.4203000068664551},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.4092999994754791}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7286999821662903},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6237000226974487},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5425999760627747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.505299985408783},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.4799000024795532},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4505000114440918},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.4203000068664551},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4092999994754791},{"id":"https://openalex.org/C191178318","wikidata":"https://www.wikidata.org/wiki/Q2256906","display_name":"Thresholding","level":3,"score":0.38760000467300415},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.34380000829696655},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3368000090122223},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32519999146461487},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31690001487731934},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.274399995803833},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.27230000495910645}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.14084","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14084","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.14084","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14084","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.44450587034225464,"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":{"Code":[0,55],"agents":[1],"must":[2],"both":[3,159],"reason":[4],"over":[5,126],"long-horizon":[6],"repository":[7],"state":[8],"and":[9,29,38,44,103,106,119,144,162,164,177],"obey":[10],"strict":[11],"tool-use":[12,104],"protocols.":[13],"In":[14],"paired":[15,117],"Instruct/Thinking":[16],"checkpoints,":[17,121],"these":[18],"capabilities":[19],"are":[20,97],"complementary":[21],"but":[22,41],"misaligned.":[23],"The":[24],"Instruct":[25,79,118],"model":[26,34,129],"is":[27],"concise":[28],"tool-disciplined,":[30],"whereas":[31],"the":[32,66,78,87],"Thinking":[33,120],"offers":[35],"stronger":[36],"planning":[37],"recovery":[39],"behavior":[40],"often":[42],"over-deliberates":[43],"degrades":[45],"agent":[46],"performance.":[47],"We":[48],"present":[49],"CRANE":[50,81,122],"(Constrained":[51],"Reasoning":[52],"Injection":[53],"for":[54,77,100,142,147],"Agents":[56],"via":[57],"Nullspace":[58],"Editing),":[59],"a":[60,70,89],"training-free":[61],"parameter-editing":[62],"method":[63],"that":[64,96],"treats":[65],"Thinking-Instruct":[67],"delta":[68],"as":[69],"directional":[71],"pool":[72],"of":[73,139],"candidate":[74],"reasoning":[75,101],"edits":[76,95],"backbone.":[80],"combines":[82],"magnitude":[83],"thresholding":[84],"to":[85,93,110,154,173],"denoise":[86],"delta,":[88],"Conservative":[90],"Taylor":[91],"Gate":[92],"retain":[94],"jointly":[98],"beneficial":[99],"transfer":[102],"preservation,":[105],"Graduated":[107],"Sigmoidal":[108],"Projection":[109],"suppress":[111],"format-critical":[112],"update":[113],"directions.":[114],"By":[115],"merging":[116,183],"delivers":[123],"strong":[124],"gains":[125],"either":[127],"individual":[128],"while":[130],"preserving":[131],"Instruct-level":[132],"efficiency:":[133],"on":[134,149,165],"Roo-Eval":[135],"it":[136,151,168],"achieves":[137],"pass1":[138],"66.2%":[140],"(+19.5%)":[141],"Qwen3-30B-A3B":[143],"81.5%":[145],"(+8.7%)":[146],"Qwen3-Next-80B-A3B;":[148],"SWE-bench-Verified":[150],"resolves":[152],"up":[153,172],"14":[155],"additional":[156],"instances":[157],"at":[158],"scales":[160],"(122/500":[161],"180/500);":[163],"Terminal-Bench":[166],"v2":[167],"improves":[169],"pass1/pass5":[170],"by":[171],"2.3%/7.8%,":[174],"reaching":[175],"7.6%/17.9%":[176],"14.8%/30.3%,":[178],"respectively,":[179],"consistently":[180],"outperforming":[181],"alternative":[182],"strategies":[184],"across":[185],"all":[186],"three":[187],"benchmarks.":[188]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-16T00:00:00"}