{"id":"https://openalex.org/W7161691959","doi":"https://doi.org/10.48550/arxiv.2605.16309","title":"ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning","display_name":"ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning","publication_year":2026,"publication_date":"2026-05-04","ids":{"openalex":"https://openalex.org/W7161691959","doi":"https://doi.org/10.48550/arxiv.2605.16309"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.16309","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16309","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.2605.16309","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045578430","display_name":"Safayat Bin Hakim","orcid":"https://orcid.org/0000-0002-8119-7911"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hakim, Safayat Bin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136495248","display_name":"Keyan Guo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Keyan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136460876","display_name":"Wenkai Tan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tan, Wenkai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5129999719","display_name":"Alvaro Velasquez","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Velasquez, Alvaro","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136471211","display_name":"Shouhuai Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu, Shouhuai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5079301418","display_name":"Houbing Song","orcid":"https://orcid.org/0000-0003-2631-9223"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Song, Houbing Herbert","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/T11986","display_name":"Scientific Computing and Data Management","score":0.5494999885559082,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.5494999885559082,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.0502999983727932,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10260","display_name":"Software Engineering Research","score":0.04989999905228615,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.6700000166893005},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5561000108718872},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.4269999861717224},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.414900004863739},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3296000063419342},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.321399986743927},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.3208000063896179},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.31949999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7436000108718872},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6700000166893005},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5561000108718872},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.4269999861717224},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.414900004863739},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3804999887943268},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.365200012922287},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3598000109195709},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33559998869895935},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3296000063419342},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.321399986743927},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.3208000063896179},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3190999925136566},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.31529998779296875},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.30979999899864197},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.29829999804496765},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C174220543","wikidata":"https://www.wikidata.org/wiki/Q395307","display_name":"Rollback","level":3,"score":0.2700999975204468},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.2526000142097473},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.16309","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16309","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.2605.16309","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16309","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"LLM-based":[0],"agents":[1],"can":[2],"recover":[3],"from":[4],"individual":[5],"execution":[6],"errors,":[7],"yet":[8,157],"they":[9],"repeatedly":[10],"fail":[11],"on":[12,163],"the":[13,17,43,55,94,107,138,173],"same":[14],"fault":[15,214],"when":[16],"underlying":[18],"process":[19,78],"knowledge--operator":[20],"schemas,":[21],"preconditions,":[22],"and":[23,52,105,114,125,132,151,186,209],"constraints--remains":[24],"unrepaired.":[25],"Existing":[26],"self-evolving":[27],"approaches":[28],"address":[29],"this":[30],"gap":[31],"by":[32,190],"updating":[33],"prompts,":[34],"memory,":[35],"or":[36],"model":[37,84],"weights,":[38],"but":[39],"none":[40],"directly":[41],"repair":[42,202],"symbolic":[44,74,112,201],"structures":[45],"that":[46,68,142,179,199],"encode":[47],"how":[48],"tasks":[49],"are":[50],"executed,":[51],"few":[53],"provide":[54],"governance":[56],"guarantees":[57],"required":[58],"for":[59,212],"safe":[60],"deployment.":[61],"We":[62],"introduce":[63],"ANNEAL,":[64],"a":[65,77,98,204],"neuro-symbolic":[66],"agent":[67],"converts":[69],"recurring":[70,164],"failures":[71],"into":[72],"governed":[73,200],"edits":[75],"of":[76],"knowledge":[79],"graph":[80],"without":[81],"modifying":[82],"foundation":[83],"weights.":[85],"Its":[86],"core":[87],"mechanism,":[88],"Failure-Driven":[89],"Knowledge":[90],"Acquisition":[91],"(FDKA),":[92],"localizes":[93],"responsible":[95],"operator,":[96],"synthesizes":[97],"typed":[99],"patch":[100],"through":[101],"constrained":[102],"LLM":[103],"generation,":[104],"validates":[106],"proposal":[108],"via":[109],"multi-dimensional":[110],"scoring,":[111],"guardrails,":[113],"canary":[115],"testing":[116],"before":[117],"commit.":[118],"Every":[119],"accepted":[120],"edit":[121],"carries":[122],"full":[123],"provenance":[124],"deterministic":[126],"rollback":[127],"capability.":[128],"Across":[129],"four":[130],"domains":[131],"27":[133],"multi-seed":[134],"runs,":[135],"ANNEAL":[136,167],"is":[137],"only":[139],"evaluated":[140],"system":[141],"commits":[143],"persistent":[144,213],"structural":[145,184],"repairs--strong":[146],"baselines":[147],"such":[148],"as":[149],"ReAct":[150],"Reflexion":[152],"achieve":[153],"high":[154],"episodic":[155],"recovery":[156],"retain":[158],"72--100%":[159],"holdout":[160],"failure":[161],"rates":[162],"faults,":[165],"whereas":[166],"reduces":[168],"these":[169],"to":[170,192,207],"0%":[171],"in":[172],"tested":[174],"recurring-failure":[175],"settings.":[176],"Ablation":[177],"confirms":[178],"removing":[180],"FDKA":[181],"eliminates":[182],"all":[183],"repairs":[185],"drops":[187],"success":[188],"rate":[189],"up":[191],"26.7":[193],"percentage":[194],"points.":[195],"These":[196],"results":[197],"suggest":[198],"offers":[203],"complementary":[205],"paradigm":[206],"weight-level":[208],"prompt-level":[210],"adaptation":[211],"elimination.":[215]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-20T00:00:00"}