{"id":"https://openalex.org/W4413147002","doi":"https://doi.org/10.1109/cvpr52734.2025.01927","title":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","display_name":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4413147002","doi":"https://doi.org/10.1109/cvpr52734.2025.01927"},"language":"en","primary_location":{"id":"doi:10.1109/cvpr52734.2025.01927","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cvpr52734.2025.01927","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)","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":null,"display_name":"Yuan Xiao","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuan Xiao","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100663387","display_name":"Yuchen Chen","orcid":"https://orcid.org/0000-0002-3380-5564"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuchen Chen","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028714018","display_name":"Shiqing Ma","orcid":"https://orcid.org/0000-0003-4741-7674"},"institutions":[{"id":"https://openalex.org/I24603500","display_name":"University of Massachusetts Amherst","ror":"https://ror.org/0072zz521","country_code":"US","type":"education","lineage":["https://openalex.org/I24603500"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shiqing Ma","raw_affiliation_strings":["University of Massachusetts Amherst,United States"],"affiliations":[{"raw_affiliation_string":"University of Massachusetts Amherst,United States","institution_ids":["https://openalex.org/I24603500"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075174750","display_name":"Chunrong Fang","orcid":"https://orcid.org/0000-0002-9930-7111"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunrong Fang","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054290784","display_name":"Tongtong Bai","orcid":"https://orcid.org/0009-0004-0641-712X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tongtong Bai","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043473206","display_name":"Mingzheng Gu","orcid":"https://orcid.org/0009-0000-5141-8923"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingzheng Gu","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103008691","display_name":"Yuxin Cheng","orcid":"https://orcid.org/0000-0002-6494-0101"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxin Cheng","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024205563","display_name":"Yanwei Chen","orcid":"https://orcid.org/0000-0002-2361-836X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanwei Chen","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100422933","display_name":"Zhenyu Chen","orcid":"https://orcid.org/0000-0002-4989-7109"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenyu Chen","raw_affiliation_strings":["Nanjing University,State Key Laboratory for Novel Software Technology,China"],"affiliations":[{"raw_affiliation_string":"Nanjing University,State Key Laboratory for Novel Software Technology,China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2335275,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"20695","last_page":"20705"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9721999764442444,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9721999764442444,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9340000152587891,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9096999764442444,"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/robustness","display_name":"Robustness (evolution)","score":0.785855770111084},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.659007728099823},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6057170629501343},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38035160303115845}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.785855770111084},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.659007728099823},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6057170629501343},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38035160303115845},{"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":1,"locations":[{"id":"doi:10.1109/cvpr52734.2025.01927","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cvpr52734.2025.01927","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"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":{"The":[0,51],"robustness":[1,17,37,69,117],"of":[2,35,47,81,86,90,125,169],"neural":[3],"network":[4],"classifiers":[5],"is":[6,39,55,185],"important":[7],"in":[8,167],"the":[9,33,40,45,79,83,87,94,98,105,123,141,156,170,175,180],"safety-critical":[10],"domain":[11],"and":[12,22,31,137,146],"can":[13,114],"be":[14],"quantified":[15],"by":[16],"verification.":[18],"At":[19],"present,":[20],"efficient":[21],"scalable":[23],"verification":[24,49,129],"techniques":[25],"are":[26,93],"always":[27],"sound":[28],"but":[29],"incomplete,":[30],"thus,":[32],"improvement":[34,166],"verified":[36],"results":[38,118,150],"key":[41],"criterion":[42],"to":[43,60,96,164],"evaluate":[44,122],"performance":[46],"incomplete":[48],"approaches.":[50],"multi-variate":[52],"function":[53,89],"MaxPool":[54,106],"widely":[56],"adopted":[57],"yet":[58],"challenging":[59],"verify.":[61],"In":[62],"this":[63],"paper,":[64],"we":[65,92,113],"present":[66],"Ti-Lin,":[67],"a":[68],"verifier":[70],"for":[71,104,119],"MaxPool-based":[72],"CNNs":[73],"with":[74,131,162,173],"Tight":[75],"Linear":[76],"Approximation.":[77],"Following":[78],"sequel":[80],"minimizing":[82],"over-approximation":[84],"zone":[85],"nonlinear":[88],"CNNs,":[91],"first":[95],"propose":[97],"provably":[99],"neuron-wise":[100],"tightest":[101],"linear":[102,111],"bounds":[103],"function.":[107],"By":[108],"our":[109],"proposed":[110],"bounds,":[112],"certify":[115],"larger":[116],"CNNs.":[120],"We":[121],"effectiveness":[124],"Ti-Lin":[126,153],"on":[127,140],"different":[128],"frameworks":[130],"open-sourced":[132],"benchmarks,":[133],"including":[134],"LeNet,":[135],"PointNet,":[136],"networks":[138,161],"trained":[139],"MNIST,":[142],"CIFAR-10,":[143],"Tiny":[144],"ImageNet":[145],"ModelNet40":[147],"datasets.":[148],"Experimental":[149],"show":[151],"that":[152],"significantly":[154],"outperforms":[155],"state-of-the-art":[157],"methods":[158],"across":[159],"all":[160],"up":[163],"78.6%":[165],"terms":[168],"certified":[171],"accuracy":[172],"almost":[174],"same":[176],"time":[177],"consumption":[178],"as":[179],"fastest":[181],"tool.":[182],"Our":[183],"code":[184],"available":[186],"at":[187],"https://github.com/xiaoyuanpigo/Ti-Lin-Hybrid-Lin.":[188]},"counts_by_year":[],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}