{"id":"https://openalex.org/W4410553380","doi":"https://doi.org/10.23919/date64628.2025.10992738","title":"Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification","display_name":"Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410553380","doi":"https://doi.org/10.23919/date64628.2025.10992738"},"language":"en","primary_location":{"id":"doi:10.23919/date64628.2025.10992738","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992738","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-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/A5033994075","display_name":"K. Fukuda","orcid":"https://orcid.org/0000-0002-1974-6721"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kota Fukuda","raw_affiliation_strings":["Kyushu University,Fukuoka,Japan"],"affiliations":[{"raw_affiliation_string":"Kyushu University,Fukuoka,Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008760836","display_name":"Guanqin Zhang","orcid":"https://orcid.org/0000-0002-3844-8180"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Guanqin Zhang","raw_affiliation_strings":["University of New South Wales,Sydney,Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales,Sydney,Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100684366","display_name":"Zhenya Zhang","orcid":"https://orcid.org/0000-0002-3854-9846"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Zhenya Zhang","raw_affiliation_strings":["Kyushu University,Fukuoka,Japan"],"affiliations":[{"raw_affiliation_string":"Kyushu University,Fukuoka,Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yulei Sui","raw_affiliation_strings":["Kyushu University,Fukuoka,Japan"],"affiliations":[{"raw_affiliation_string":"Kyushu University,Fukuoka,Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106342606","display_name":"Jianjun Zhao","orcid":"https://orcid.org/0009-0004-1540-3854"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jianjun Zhao","raw_affiliation_strings":["Kyushu University,Fukuoka,Japan"],"affiliations":[{"raw_affiliation_string":"Kyushu University,Fukuoka,Japan","institution_ids":["https://openalex.org/I135598925"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5033994075"],"corresponding_institution_ids":["https://openalex.org/I135598925"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05635434,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"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.9768999814987183,"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.9768999814987183,"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.713383674621582},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4706615209579468},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.46476444602012634},{"id":"https://openalex.org/keywords/branch-and-bound","display_name":"Branch and bound","score":0.44777581095695496},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33688580989837646},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2658624053001404},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1477978527545929},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.0640454888343811}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.713383674621582},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4706615209579468},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.46476444602012634},{"id":"https://openalex.org/C93693863","wikidata":"https://www.wikidata.org/wiki/Q897659","display_name":"Branch and bound","level":2,"score":0.44777581095695496},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33688580989837646},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2658624053001404},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1477978527545929},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0640454888343811}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date64628.2025.10992738","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date64628.2025.10992738","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W2126316555","https://openalex.org/W2158395308","https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2616028256","https://openalex.org/W2900153411","https://openalex.org/W2962847335","https://openalex.org/W2963003663","https://openalex.org/W2963054787","https://openalex.org/W2963600714","https://openalex.org/W2963857521","https://openalex.org/W3043902710","https://openalex.org/W3107235539","https://openalex.org/W3147451797","https://openalex.org/W3192314570","https://openalex.org/W4205950066","https://openalex.org/W4206840646","https://openalex.org/W4312620108","https://openalex.org/W4312770063","https://openalex.org/W4379534244","https://openalex.org/W4409974447","https://openalex.org/W6640425456","https://openalex.org/W6751834733","https://openalex.org/W6754543342","https://openalex.org/W6754619240","https://openalex.org/W6754646375","https://openalex.org/W6754681091","https://openalex.org/W6763887731","https://openalex.org/W6765694979","https://openalex.org/W6767799123","https://openalex.org/W6770927480","https://openalex.org/W6780538243","https://openalex.org/W6804343242","https://openalex.org/W6846121533"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Formal":[0],"verification":[1,27,97,172],"is":[2,22,118],"a":[3,75,83,89,95,110,143],"rigorous":[4],"approach":[5],"that":[6,25,61,79,101,131,194],"can":[7,85,146,160],"provably":[8],"ensure":[9],"the":[10,23,30,57,63,103,121,129,157,165,185,211,216,221],"quality":[11],"of":[12,55,59,65,77,106,123,198,213,218,223],"neural":[13,178],"networks,":[14],"and":[15,19,34,91,177,181,204,220],"to":[16,38,51,135,163,200,215],"date,":[17],"Branch":[18],"Bound":[20],"(BaB)":[21],"state-of-the-art":[24,186],"performs":[26],"by":[28,120],"splitting":[29],"problem":[31],"as":[32,140,188],"needed":[33],"applying":[35],"off-the-shelf":[36],"verifiers":[37,187],"sub-problems":[39,60,130],"for":[40],"improved":[41],"performance.":[42],"However,":[43],"existing":[44],"BaB":[45,107],"may":[46],"not":[47],"be":[48,86],"efficient,":[49],"due":[50],"its":[52],"naive":[53],"way":[54],"exploring":[56],"space":[58,105],"ignores":[62],"importance":[64],"different":[66,124],"sub-problems.":[67],"To":[68],"bridge":[69],"this":[70],"gap,":[71],"we":[72,93],"first":[73],"introduce":[74],"notion":[76],"\u201cimportance\u201d":[78,122],"reflects":[80],"how":[81],"likely":[82,134],"counterexample":[84],"found":[87],"with":[88,170,184],"sub-problem,":[90],"then":[92],"devise":[94],"novel":[96],"approach,":[98],"called":[99],"ABONN,":[100,219],"explores":[102],"sub-problem":[104],"adaptively,":[108],"in":[109],"Monte-Carlo":[111],"tree":[112,226],"search":[113],"(MCTS)":[114],"style.":[115],"The":[116],"exploration":[117],"guided":[119],"sub-problems,":[125,158],"so":[126],"it":[127,141,145,151,159,183],"favors":[128],"are":[132],"more":[133],"find":[136],"counterexamples.":[137],"As":[138],"soon":[139],"finds":[142],"counterexample,":[144],"immediately":[147],"terminate;":[148],"even":[149],"though":[150],"cannot":[152],"find,":[153],"after":[154],"visiting":[155],"all":[156],"still":[161],"manage":[162],"verify":[164],"problem.":[166],"We":[167,208],"evaluate":[168],"ABONN":[169,195],"552":[171],"problems":[173],"from":[174],"commonlyused":[175],"datasets":[176],"network":[179],"models,":[180],"compare":[182],"baseline":[189],"approaches.":[190],"Experimental":[191],"evaluation":[192],"shows":[193],"demonstrates":[196],"speedups":[197],"up":[199],"15.2\u00d7":[201],"on":[202,206],"MNIST":[203],"24.7\u00d7":[205],"CIFAR-10.":[207],"further":[209],"study":[210],"influences":[212],"hyperparameters":[214],"performance":[217],"effectiveness":[222],"our":[224],"adaptive":[225],"exploration.":[227]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}