{"id":"https://openalex.org/W2999193264","doi":"https://doi.org/10.1145/3377811.3380337","title":"ReluDiff","display_name":"ReluDiff","publication_year":2020,"publication_date":"2020-06-27","ids":{"openalex":"https://openalex.org/W2999193264","doi":"https://doi.org/10.1145/3377811.3380337","mag":"2999193264"},"language":"en","primary_location":{"id":"doi:10.1145/3377811.3380337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377811.3380337","pdf_url":null,"source":null,"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2001.03662","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Brandon Paulsen","orcid":null},"institutions":[{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]},{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Brandon Paulsen","raw_affiliation_strings":["University of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jingbo Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jingbo Wang","raw_affiliation_strings":["University of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":null,"display_name":"Chao Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chao Wang","raw_affiliation_strings":["University of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1174212","https://openalex.org/I2800817003"],"apc_list":null,"apc_paid":null,"fwci":4.2469,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.9503612,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"714","last_page":"726"},"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.9998999834060669,"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.9998999834060669,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9789000153541565,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9753000140190125,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6837999820709229},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.545199990272522},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5297999978065491},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5206999778747559},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4034999907016754},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4032000005245209},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.36970001459121704},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.3490999937057495}],"concepts":[{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6837999820709229},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.654699981212616},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5691999793052673},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.545199990272522},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5297999978065491},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5206999778747559},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4034999907016754},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4032000005245209},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3490999937057495},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3402999937534332},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3278999924659729},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C78548338","wikidata":"https://www.wikidata.org/wiki/Q2493","display_name":"Data compression","level":2,"score":0.29499998688697815},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2842999994754791},{"id":"https://openalex.org/C81081738","wikidata":"https://www.wikidata.org/wiki/Q55542","display_name":"Lossless compression","level":3,"score":0.2750999927520752},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.27300000190734863},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26010000705718994}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3377811.3380337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377811.3380337","pdf_url":null,"source":null,"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2001.03662","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.03662","pdf_url":"https://arxiv.org/pdf/2001.03662","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2001.03662","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.03662","pdf_url":"https://arxiv.org/pdf/2001.03662","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1932198206","https://openalex.org/W2030170144","https://openalex.org/W2043100293","https://openalex.org/W2112796928","https://openalex.org/W2132661148","https://openalex.org/W2138224468","https://openalex.org/W2243397390","https://openalex.org/W2616028256","https://openalex.org/W2804337238","https://openalex.org/W2898868990","https://openalex.org/W2954252370","https://openalex.org/W2957905354","https://openalex.org/W2963327228","https://openalex.org/W2963913218","https://openalex.org/W2964882141","https://openalex.org/W2999193264"],"related_works":[],"abstract_inverted_index":{"As":[0],"deep":[1],"neural":[2],"networks":[3,149],"are":[4,19,72],"increasingly":[5],"being":[6],"deployed":[7],"in":[8,52,165],"practice,":[9],"their":[10],"efficiency":[11],"has":[12],"become":[13],"an":[14],"important":[15],"issue.":[16],"While":[17],"there":[18,37],"compression":[20],"techniques":[21,60],"for":[22,74,95],"reducing":[23],"the":[24,48,53,81,88,123,126,137,147,154,157,161,166,171,178],"network's":[25],"size,":[26],"energy":[27],"consumption":[28],"and":[29,65,143,197],"computational":[30],"requirement,":[31],"they":[32,71],"only":[33],"demonstrate":[34],"empirically":[35],"that":[36,120],"is":[38,129],"no":[39],"loss":[40],"of":[41,47,55,80,98,106,146,160],"accuracy,":[42],"but":[43,70,109],"lack":[44],"formal":[45,68],"guarantees":[46],"compressed":[49],"network,":[50],"e.g.,":[51],"presence":[54],"adversarial":[56],"examples.":[57],"Existing":[58],"verification":[59,97,189],"such":[61],"as":[62],"Reluplex,":[63],"ReluVal,":[64],"DeepPoly":[66],"provide":[67],"guarantees,":[69],"designed":[73],"analyzing":[75],"a":[76,92,107,117],"single":[77],"network":[78],"instead":[79],"relationship":[82],"between":[83,156],"two":[84,99,133,148,162],"networks.":[85,102,163],"To":[86],"fill":[87],"gap,":[89],"we":[90,140,169],"develop":[91],"new":[93],"method":[94,104,192],"differential":[96],"closely":[100],"related":[101],"Our":[103,182],"consists":[105],"fast":[108],"approximate":[110],"forward":[111,138],"interval":[112],"analysis":[113],"pass":[114,119],"followed":[115],"by":[116],"backward":[118,167],"iteratively":[121],"refines":[122],"approximation":[124],"until":[125],"desired":[127],"property":[128],"verified.":[130],"We":[131],"have":[132],"main":[134],"innovations.":[135],"During":[136],"pass,":[139,168],"exploit":[141],"structural":[142],"behavioral":[144],"similarities":[145],"to":[150,174,187],"more":[151,175,200],"accurately":[152,176],"bound":[153],"difference":[155],"output":[158],"neurons":[159],"Then":[164],"leverage":[170],"gradient":[172],"differences":[173],"compute":[177],"most":[179],"beneficial":[180],"refinement.":[181],"experiments":[183],"show":[184],"that,":[185],"compared":[186],"state-of-the-art":[188],"tools,":[190],"our":[191],"can":[193],"achieve":[194],"orders-of-magnitude":[195],"speedup":[196],"prove":[198],"many":[199],"properties":[201],"than":[202],"existing":[203],"tools.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2020-01-23T00:00:00"}