{"id":"https://openalex.org/W7164554888","doi":"https://doi.org/10.48550/arxiv.2606.13174","title":"Getting Better at Working With You: Compiling User Corrections into Runtime Enforcement for Coding Agents","display_name":"Getting Better at Working With You: Compiling User Corrections into Runtime Enforcement for Coding Agents","publication_year":2026,"publication_date":"2026-06-11","ids":{"openalex":"https://openalex.org/W7164554888","doi":"https://doi.org/10.48550/arxiv.2606.13174"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.13174","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13174","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":null,"license_id":null,"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.2606.13174","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5138530263","display_name":"Yujun Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhou, Yujun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070509358","display_name":"Kehan Guo","orcid":"https://orcid.org/0009-0004-6396-1869"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Kehan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138500199","display_name":"Haomin Zhuang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhuang, Haomin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138495591","display_name":"Xiangqi Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Xiangqi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126420301","display_name":"Y Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Yue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138525241","display_name":"Zhenwen Liang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liang, Zhenwen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050344371","display_name":"Pin\u2010Yu Chen","orcid":"https://orcid.org/0000-0003-1039-8369"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Pin-Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138505853","display_name":"Tian Gao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gao, Tian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138531904","display_name":"Nuno Moniz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Moniz, Nuno","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068157871","display_name":"Nitesh V. Chawla","orcid":"https://orcid.org/0000-0003-3932-5956"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chawla, Nitesh V.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138494289","display_name":"Xiangliang Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Xiangliang","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/T10126","display_name":"Logic, programming, and type systems","score":0.15129999816417694,"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/T10126","display_name":"Logic, programming, and type systems","score":0.15129999816417694,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.120899997651577,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.08060000091791153,"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/trace","display_name":"TRACE (psycholinguistics)","score":0.725600004196167},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.5871000289916992},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5180000066757202},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.48069998621940613},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.4074000120162964},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.39399999380111694},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.38440001010894775},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.3813000023365021}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8339999914169312},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.725600004196167},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5871000289916992},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5180000066757202},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.48069998621940613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43799999356269836},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.4074000120162964},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.39399999380111694},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.38440001010894775},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.3813000023365021},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.37869998812675476},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.34709998965263367},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.3407999873161316},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.3174999952316284},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3066999912261963},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.30480000376701355},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.2524000108242035},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.13174","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13174","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.13174","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13174","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.4315412640571594,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Interactive":[0],"LLM":[1],"agents":[2],"are":[3],"becoming":[4],"part":[5],"of":[6,57,107],"daily":[7],"work,":[8],"but":[9],"they":[10],"do":[11],"not":[12,198],"reliably":[13,199],"become":[14],"easier":[15],"to":[16,144,152,166,206],"work":[17],"with":[18,123],"over":[19],"time:":[20],"a":[21,71,190],"correction":[22,210],"remembered":[23],"in":[24,31],"one":[25],"session":[26],"may":[27],"still":[28,54],"be":[29],"violated":[30],"the":[32,115,172,202,208,221],"next.":[33],"We":[34,62,120],"study":[35],"this":[36],"gap":[37],"between":[38],"preference":[39,42,59,140],"access":[40],"and":[41,67,87,131,149,220],"compliance.":[43],"In":[44],"tasks":[45,130,148],"derived":[46],"from":[47,114,142,150,164],"anonymized":[48],"real-user":[49],"friction":[50],"cases,":[51],"Mem0":[52],"memory":[53,174,195],"leaves":[55],"57.5%":[56],"applicable":[58],"checks":[60,92,104],"violated.":[61],"introduce":[63],"Test-time":[64],"Rule":[65],"Acquisition":[66],"Compiled":[68],"Enforcement":[69],"(TRACE),":[70],"drop-in":[72],"skill-layer":[73],"pipeline":[74],"for":[75,204],"coding-agent":[76,129],"runtimes":[77],"that":[78,93,182,194],"mines":[79],"user":[80],"corrections,":[81],"rewrites":[82],"them":[83,89],"as":[84],"atomic":[85],"rules,":[86],"compiles":[88],"into":[90,185],"runtime":[91,103,186],"must":[94],"pass":[95],"before":[96],"an":[97],"agent":[98],"completes":[99],"future":[100,212],"tasks.":[101,134,156],"Unlike":[102],"written":[105],"ahead":[106],"time":[108],"by":[109],"developers,":[110],"TRACE":[111,122,137,160],"skills":[112],"come":[113],"user's":[116],"own":[117],"chat":[118],"corrections.":[119],"evaluate":[121],"simulated":[124],"user-in-the-loop":[125],"experiments":[126],"on":[127,146,154,176],"ClawArena":[128],"MemoryArena-derived":[132,158],"memory-intensive":[133],"On":[135,157],"ClawArena,":[136],"reduces":[138,161],"held-out":[139],"violation":[141,163],"100.0%":[143,151,165],"37.6%":[145],"in-distribution":[147,162],"2.0%":[153],"out-of-distribution":[155],"tasks,":[159],"60.5%":[167],"while":[168],"matching":[169],"or":[170],"exceeding":[171],"strongest":[173],"baseline":[175],"task":[177],"pass.":[178],"These":[179],"results":[180],"suggest":[181],"compiling":[183],"corrections":[184],"enforcement":[187],"can":[188],"address":[189],"repeated-friction":[191],"failure":[192],"mode":[193],"alone":[196],"does":[197],"solve,":[200],"reducing":[201],"need":[203],"users":[205],"restate":[207],"same":[209],"across":[211],"sessions.":[213],"Experiment":[214],"code":[215],"is":[216,224],"available":[217,225],"at":[218,226],"https://github.com/YujunZhou/TRACE_exp,":[219],"deployable":[222],"skill":[223],"https://github.com/YujunZhou/tellonce.":[227]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-13T00:00:00"}