{"id":"https://openalex.org/W4297691576","doi":"https://doi.org/10.1007/s10994-022-06212-w","title":"Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio","display_name":"Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio","publication_year":2022,"publication_date":"2022-09-08","ids":{"openalex":"https://openalex.org/W4297691576","doi":"https://doi.org/10.1007/s10994-022-06212-w"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-022-06212-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-022-06212-w.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10994-022-06212-w.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012727458","display_name":"Matthias K\u00f6nig","orcid":"https://orcid.org/0000-0003-1725-179X"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Matthias K\u00f6nig","raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025342513","display_name":"Holger H. Hoos","orcid":"https://orcid.org/0000-0003-0629-0099"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Holger H. Hoos","raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands"]},{"author_position":"last","author":{"id":"https://openalex.org/A5009236758","display_name":"Jan N. van Rijn","orcid":null},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jan N. van Rijn","raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands"]}],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012727458"],"corresponding_institution_ids":["https://openalex.org/I121797337"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":0,"cited_by_percentile_year":{"min":0,"max":68},"biblio":{"volume":"111","issue":"12","first_page":"4565","last_page":"4584"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Deep Learning Models","score":0.9999,"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 Deep Learning Models","score":0.9999,"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/T10743","display_name":"Automated Software Testing Techniques","score":0.99,"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"}},{"id":"https://openalex.org/T12122","display_name":"Hardware Security and Authentication Techniques","score":0.9866,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"keyword":"neural network robustness verification","score":0.7715},{"keyword":"algorithm configuration","score":0.3859},{"keyword":"neural network","score":0.3705}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6594621},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.65705526},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.624264},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5949979},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5907036},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.57609975},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5156404},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4998381},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4439865},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4235116},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1636858},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15227965},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-022-06212-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-022-06212-w.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/1887/3484755","pdf_url":"https://scholarlypublications.universiteitleiden.nl/access/item%3A3513720/view","source":{"id":"https://openalex.org/S4306400850","display_name":"Leiden Repository (Leiden University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"host_organization":"https://openalex.org/I121797337","host_organization_name":"Leiden University","host_organization_lineage":["https://openalex.org/I121797337"],"host_organization_lineage_names":["Leiden University"],"type":"repository"},"license":"cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-022-06212-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10994-022-06212-w.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"referenced_works_count":30,"referenced_works":["https://openalex.org/W60686164","https://openalex.org/W71637970","https://openalex.org/W1258972194","https://openalex.org/W1490176645","https://openalex.org/W1502948544","https://openalex.org/W1526726828","https://openalex.org/W1571472016","https://openalex.org/W1776786831","https://openalex.org/W2081453109","https://openalex.org/W2102539288","https://openalex.org/W2121729191","https://openalex.org/W2200000192","https://openalex.org/W2411835395","https://openalex.org/W2565186948","https://openalex.org/W2594877703","https://openalex.org/W2791251367","https://openalex.org/W2794609696","https://openalex.org/W2802557767","https://openalex.org/W2911964244","https://openalex.org/W2950680102","https://openalex.org/W2962692913","https://openalex.org/W2962929300","https://openalex.org/W2963054787","https://openalex.org/W2963600714","https://openalex.org/W2963612069","https://openalex.org/W2963857521","https://openalex.org/W2963952467","https://openalex.org/W2964082701","https://openalex.org/W2998574230","https://openalex.org/W3142192680"],"related_works":["https://openalex.org/W4285278887","https://openalex.org/W2995925505","https://openalex.org/W134783735","https://openalex.org/W2365237642","https://openalex.org/W3116484972","https://openalex.org/W2941986668","https://openalex.org/W4232431455","https://openalex.org/W2186864281","https://openalex.org/W4255427455","https://openalex.org/W2389214306"],"ngrams_url":"https://api.openalex.org/works/W4297691576/ngrams","abstract_inverted_index":{"Abstract":[0],"Despite":[1],"their":[2,65],"great":[3],"success":[4],"in":[5,146],"recent":[6],"years,":[7],"neural":[8,113],"networks":[9],"have":[10,38],"been":[11,39],"found":[12],"to":[13,16,33,41,58,154],"be":[14,34],"vulnerable":[15],"adversarial":[17],"attacks.":[18,51],"These":[19],"attacks":[20],"are":[21],"often":[22],"based":[23],"on":[24,121],"slight":[25],"perturbations":[26],"of":[27,45,106,152],"given":[28,47],"inputs":[29],"that":[30],"cause":[31],"them":[32],"misclassified.":[35],"Several":[36],"methods":[37,54],"proposed":[40],"formally":[42],"prove":[43],"robustness":[44],"a":[46,75,84,104],"network":[48,114],"against":[49],"such":[50],"However,":[52],"these":[53],"typically":[55],"give":[56],"rise":[57],"high":[59],"computational":[60],"demands,":[61],"which":[62,78],"severely":[63],"limit":[64],"scalability.":[66],"Recent":[67],"state-of-the-art":[68,124],"approaches":[69],"state":[70],"the":[71,112],"verification":[72,115,126],"task":[73],"as":[74,83],"minimisation":[76],"problem,":[77],"is":[79],"formulated":[80],"and":[81,134,142,156],"solved":[82],"mixed-integer":[85],"linear":[86],"programming":[87],"(MIP)":[88],"problem.":[89],"We":[90,117],"extend":[91],"this":[92,119],"approach":[93,120],"by":[94,149],"leveraging":[95],"automated":[96],"algorithm":[97],"configuration":[98],"techniques":[99],"and,":[100],"more":[101],"specifically,":[102],"construct":[103],"portfolio":[105],"MIP":[107],"solver":[108],"configurations":[109],"optimised":[110],"for":[111],"task.":[116],"test":[118],"two":[122],"recent,":[123],"MIP-based":[125],"engines,":[127],"$$\\mathrm":[128,135],"{MIPVerify}$$":[129],"":[131,138],"MIPVerify":[132],"":[133,140],"{Venus}$$":[136],"Venus":[139],",":[141],"achieve":[143],"substantial":[144],"improvements":[145],"CPU":[147],"time":[148],"average":[150],"factors":[151],"up":[153],"4.7":[155],"10.3,":[157],"respectively.":[158]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4297691576","counts_by_year":[],"updated_date":"2024-03-26T10:35:04.315786","created_date":"2022-09-30"}