{"id":"https://openalex.org/W4402215748","doi":"https://doi.org/10.1145/3690634","title":"AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization","display_name":"AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization","publication_year":2024,"publication_date":"2024-09-04","ids":{"openalex":"https://openalex.org/W4402215748","doi":"https://doi.org/10.1145/3690634"},"language":"en","primary_location":{"id":"doi:10.1145/3690634","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3690634","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114149786","display_name":"Xinyu Sun","orcid":"https://orcid.org/0000-0002-5272-3230"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyu Sun","raw_affiliation_strings":["National University of Defense Technology, Changsha, China","National University of Defense Technology, China"],"raw_orcid":"https://orcid.org/0000-0002-5272-3230","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082329778","display_name":"Wanwei Liu","orcid":"https://orcid.org/0000-0002-2315-1704"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wanwei Liu","raw_affiliation_strings":["National University of Defense Technology, Changsha, China","National University of Defense Technology, China"],"raw_orcid":"https://orcid.org/0000-0002-2315-1704","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081197883","display_name":"Shangwen Wang","orcid":"https://orcid.org/0000-0003-1469-2063"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shangwen Wang","raw_affiliation_strings":["National University of Defense Technology, Changsha, China","National University of Defense Technology, China"],"raw_orcid":"https://orcid.org/0000-0003-1469-2063","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tingyu Chen","orcid":"https://orcid.org/0009-0007-4833-2177"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tingyu Chen","raw_affiliation_strings":["National University of Defense Technology, Changsha, China","National University of Defense Technology, China"],"raw_orcid":"https://orcid.org/0009-0007-4833-2177","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101775183","display_name":"Ye Tao","orcid":"https://orcid.org/0009-0007-1478-9144"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ye Tao","raw_affiliation_strings":["National University of Defense Technology, Changsha, China","National University of Defense Technology, China"],"raw_orcid":"https://orcid.org/0009-0007-1478-9144","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoguang Mao","raw_affiliation_strings":["National University of Defense Technology, Changsha, China","National University of Defense Technology, China"],"raw_orcid":"https://orcid.org/0000-0003-4204-7424","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":null,"apc_paid":null,"fwci":1.1114,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81230062,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"34","issue":"2","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9988999962806702,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9988999962806702,"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/T10036","display_name":"Advanced Neural Network Applications","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9965999722480774,"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/computer-science","display_name":"Computer science","score":0.8482800722122192},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5585181713104248},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36165642738342285}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8482800722122192},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5585181713104248},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36165642738342285}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3690634","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3690634","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1612990698","display_name":null,"funder_award_id":"61872371 and 62032024","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2838552071","display_name":null,"funder_award_id":"2022YFA1005101","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W238798872","https://openalex.org/W1965555277","https://openalex.org/W2112796928","https://openalex.org/W2163605009","https://openalex.org/W2250539671","https://openalex.org/W2502011505","https://openalex.org/W2788633781","https://openalex.org/W2799640043","https://openalex.org/W2809701591","https://openalex.org/W2896500468","https://openalex.org/W2898868990","https://openalex.org/W2904642422","https://openalex.org/W2912440308","https://openalex.org/W2962833164","https://openalex.org/W2964116855","https://openalex.org/W3002398329","https://openalex.org/W3103148066","https://openalex.org/W3105507623","https://openalex.org/W3127909410","https://openalex.org/W3165435112","https://openalex.org/W3169232032","https://openalex.org/W3186232356","https://openalex.org/W3188010467","https://openalex.org/W3211961196","https://openalex.org/W3214890551","https://openalex.org/W4220700435","https://openalex.org/W4220700454","https://openalex.org/W4221104163","https://openalex.org/W4224249875","https://openalex.org/W4244832091","https://openalex.org/W4249667877","https://openalex.org/W4284681038","https://openalex.org/W4293399548","https://openalex.org/W4296592009","https://openalex.org/W4363671915","https://openalex.org/W4384009740","https://openalex.org/W4391558459","https://openalex.org/W6803572603","https://openalex.org/W6888931462","https://openalex.org/W6888974371"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Neural":[0],"networks":[1],"are":[2,21,283],"important":[3],"computational":[4],"models":[5],"used":[6],"in":[7,77,181,186,250],"the":[8,44,75,126,132,141,146,150,160,167,182,187,193,200,213,219,224,268,288],"domains":[9],"of":[10,17,58,128,149,178,290],"artificial":[11],"intelligence":[12],"and":[13,65,81,238,261],"software":[14],"engineering.":[15],"Parameters":[16],"a":[18,27,31,50,137,175,208,244,251,257],"neural":[19,52,129,152,168],"network":[20,130,269],"obtained":[22],"via":[23],"training":[24],"it":[25,82],"against":[26,107],"specific":[28],"dataset":[29],"with":[30,234],"standard":[32],"process,":[33],"which":[34,286],"guarantees":[35],"each":[36,227],"sample":[37],"within":[38],"that":[39,110,162,232,277],"set":[40,226],"is":[41,55,83,117],"mapped":[42],"to":[43,73,159,196,211,242],"correct":[45],"class.":[46],"In":[47,68,86,170],"general,":[48,171],"for":[49],"trained":[51],"network,":[53,153],"there":[54],"no":[56],"warranty":[57],"high-level":[59],"properties,":[60],"such":[61],"as":[62,131,267],"fairness,":[63],"robustness,":[64],"so":[66],"forth.":[67],"this":[69,87,172,262],"case,":[70],"one":[71],"need":[72],"tune":[74],"parameters":[76],"an":[78,102],"alternative":[79],"manner,":[80],"called":[84],"repairing.":[85],"paper,":[88],"we":[89,124,154,206,216],"present":[90,207],"AutoRIC":[91,240,255],"(":[92],"Auto":[93],"mated":[94],"R":[95],"epair":[96],"w":[97],"I":[98],"th":[99],"C":[100],"onstraints),":[101],"analytical-approach-based":[103],"white-box":[104],"repairing":[105,233,246,278],"framework":[106],"general":[108],"properties":[109,127],"could":[111],"be":[112,197],"quantitatively":[113],"measured.":[114],"Our":[115],"approach":[116],"mainly":[118],"based":[119,279],"on":[120,280],"constrained":[121],"optimization,":[122],"namely,":[123],"treat":[125],"optimized":[133],"objective":[134],"described":[135],"by":[136,199],"quadratic":[138],"formula":[139],"about":[140],"faulty":[142],"parameters.":[143],"To":[144,203],"ensure":[145],"classification":[147],"accuracy":[148,253],"repaired":[151],"impose":[155],"linear":[156],"inequality":[157],"constraints":[158,235],"inputs":[161],"obtain":[163],"incorrect":[164],"outputs":[165],"from":[166],"network.":[169],"may":[173],"generate":[174],"huge":[176],"amount":[177],"constraints,":[179],"resulting":[180],"prohibitively":[183],"high":[184],"cost":[185],"problem":[188,194],"solving,":[189],"or":[190],"even":[191],"making":[192],"unable":[195],"solved":[198],"constraint":[201,225],"solver.":[202],"circumvent":[204],"this,":[205],"selection":[209],"strategy":[210],"diminish":[212],"restrictions,":[214],"i.e.,":[215],"always":[217],"select":[218],"most":[220],"\u2018strict\u2019":[221],"ones":[222],"into":[223],"time.":[228],"Experimental":[229],"results":[230,274],"show":[231],"performs":[236],"efficiently":[237],"effectively.":[239],"tends":[241],"achieve":[243],"satisfactory":[245],"result":[247],"whereas":[248],"brings":[249],"negligible":[252],"drop.":[254],"enjoys":[256],"notable":[258],"time":[259],"advantage":[260,263],"becomes":[264],"increasingly":[265],"evident":[266],"complexity":[270],"rises.":[271],"Moreover,":[272],"experiment":[273],"also":[275],"demonstrate":[276],"unconstrained":[281],"optimizations":[282],"not":[284],"stable,":[285],"embodies":[287],"necessity":[289],"constraints.":[291]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}