{"id":"https://openalex.org/W4361861335","doi":"https://doi.org/10.1109/access.2023.3263145","title":"Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation","display_name":"Abstract Layer for LeakyReLU for Neural Network Verification Based on Abstract Interpretation","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4361861335","doi":"https://doi.org/10.1109/access.2023.3263145"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3263145","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3263145","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10087273.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10087273.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059383176","display_name":"Omar El Mellouki","orcid":null},"institutions":[{"id":"https://openalex.org/I201181511","display_name":"\u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es","ror":"https://ror.org/0309cs235","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Omar El Mellouki","raw_affiliation_strings":["ENSTA IP Paris, Palaiseau, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSTA IP Paris, Palaiseau, France","institution_ids":["https://openalex.org/I201181511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050118866","display_name":"Mohamed Ibn Khedher","orcid":"https://orcid.org/0009-0008-2570-0843"},"institutions":[{"id":"https://openalex.org/I3018083178","display_name":"Institut de Recherche Technologique SystemX","ror":"https://ror.org/03crmsn52","country_code":"FR","type":"facility","lineage":["https://openalex.org/I3018083178"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mohamed Ibn Khedher","raw_affiliation_strings":["IRT-SystemX, Palaiseau, France","IRT SystemX (Institut de recherche technologique SystemX - 8 Avenue de la Vauve, 91120 Palaiseau - France)"],"raw_orcid":"https://orcid.org/0009-0008-2570-0843","affiliations":[{"raw_affiliation_string":"IRT-SystemX, Palaiseau, France","institution_ids":["https://openalex.org/I3018083178"]},{"raw_affiliation_string":"IRT SystemX (Institut de recherche technologique SystemX - 8 Avenue de la Vauve, 91120 Palaiseau - France)","institution_ids":["https://openalex.org/I3018083178"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038934826","display_name":"Moun\u00eem A. El\u2010Yacoubi","orcid":"https://orcid.org/0000-0002-7383-0588"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mounim A. El-Yacoubi","raw_affiliation_strings":["Samovar, CNRS, Telecom SudParis, Institut Polytechnique de Paris, Palaiseau, France","IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","ARMEDIA-SAMOVAR - ARMEDIA (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)"],"raw_orcid":"https://orcid.org/0000-0002-7383-0588","affiliations":[{"raw_affiliation_string":"Samovar, CNRS, Telecom SudParis, Institut Polytechnique de Paris, Palaiseau, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210145102"]},{"raw_affiliation_string":"IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"ARMEDIA-SAMOVAR - ARMEDIA (TELECOM Sudparis\r\n 9 rue Charles Fourier\r\n 91011 EVRY - France)","institution_ids":["https://openalex.org/I4387153010"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":3.1866,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.92846832,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"11","issue":null,"first_page":"33401","last_page":"33413"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":1.0,"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":1.0,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9807999730110168,"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.9394999742507935,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mnist-database","display_name":"MNIST database","score":0.7872419357299805},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.762248694896698},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7317395806312561},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6538246870040894},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6045560240745544},{"id":"https://openalex.org/keywords/transformer","display_name":"Transformer","score":0.566859781742096},{"id":"https://openalex.org/keywords/hyperparameter","display_name":"Hyperparameter","score":0.5379754900932312},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3651542067527771},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.12732112407684326},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09834980964660645}],"concepts":[{"id":"https://openalex.org/C190502265","wikidata":"https://www.wikidata.org/wiki/Q17069496","display_name":"MNIST database","level":3,"score":0.7872419357299805},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.762248694896698},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7317395806312561},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6538246870040894},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6045560240745544},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.566859781742096},{"id":"https://openalex.org/C8642999","wikidata":"https://www.wikidata.org/wiki/Q4171168","display_name":"Hyperparameter","level":2,"score":0.5379754900932312},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3651542067527771},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.12732112407684326},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09834980964660645},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2023.3263145","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3263145","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10087273.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04058040v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04058040","pdf_url":"https://hal.science/hal-04058040/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, 2023, 11, pp.33401 - 33413. ⟨10.1109/ACCESS.2023.3263145⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:5d72c298a9df4d08b3c11d0e701472cb","is_oa":true,"landing_page_url":"https://doaj.org/article/5d72c298a9df4d08b3c11d0e701472cb","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 33401-33413 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3263145","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3263145","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10087273.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4361861335.pdf","grobid_xml":"https://content.openalex.org/works/W4361861335.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W1496898916","https://openalex.org/W1945616565","https://openalex.org/W2112796928","https://openalex.org/W2180612164","https://openalex.org/W2243397390","https://openalex.org/W2594877703","https://openalex.org/W2721006554","https://openalex.org/W2750384547","https://openalex.org/W2774644650","https://openalex.org/W2777417342","https://openalex.org/W2779842511","https://openalex.org/W2789524546","https://openalex.org/W2794609696","https://openalex.org/W2897232795","https://openalex.org/W2900153411","https://openalex.org/W2962692913","https://openalex.org/W2963054787","https://openalex.org/W2963542245","https://openalex.org/W2992496131","https://openalex.org/W2994886077","https://openalex.org/W3112415452","https://openalex.org/W3113316503","https://openalex.org/W3113341578","https://openalex.org/W3120556337","https://openalex.org/W3183369696","https://openalex.org/W4282047883","https://openalex.org/W4293846201","https://openalex.org/W6640425456","https://openalex.org/W6690607325","https://openalex.org/W6739868092","https://openalex.org/W6740406300","https://openalex.org/W6742701516","https://openalex.org/W6743688258","https://openalex.org/W6746964556","https://openalex.org/W6747357194","https://openalex.org/W6748277150","https://openalex.org/W6751044371","https://openalex.org/W6751834733","https://openalex.org/W6765694979"],"related_works":["https://openalex.org/W4386603768","https://openalex.org/W2950475743","https://openalex.org/W2886711096","https://openalex.org/W2750384547","https://openalex.org/W4380078352","https://openalex.org/W3046591097","https://openalex.org/W4389249638","https://openalex.org/W2733410219","https://openalex.org/W2734358244","https://openalex.org/W2735450835"],"abstract_inverted_index":{"Deep":[0],"neural":[1,39,108,196],"networks":[2,40],"have":[3,20],"been":[4,114],"widely":[5],"used":[6],"in":[7,26,49,228],"several":[8],"complex":[9],"tasks":[10],"such":[11],"as":[12],"robotics,":[13],"self-driving":[14],"cars,":[15],"medicine,":[16],"etc.":[17],"However,":[18],"they":[19],"recently":[21,115],"shown":[22],"to":[23,56,154,160,185,199],"be":[24],"vulnerable":[25],"uncertain":[27],"environments":[28],"where":[29],"inputs":[30,63,135],"are":[31,64],"noisy.":[32],"As":[33],"a":[34,80,97,123,146,156,215],"consequence,":[35],"the":[36,54,58,87,104,107,172,179,186,192,195,200,222],"robustness":[37,193],"of":[38,69,83,89,102,106,134,150,181,194,224,230],"has":[41,113],"become":[42],"an":[43,131,138,151,161],"essential":[44],"property":[45],"for":[46],"their":[47],"application":[48],"critical":[50],"systems.":[51],"Robustness":[52],"is":[53,78,86,206],"capacity":[55],"take":[57],"same":[59],"decision":[60],"even":[61],"when":[62],"disturbed":[65],"under":[66],"different":[67,210],"types":[68],"perturbations,":[70],"including":[71],"adversarial":[72],"attacks.":[73],"The":[74,218],"great":[75],"difficulty":[76],"today":[77],"providing":[79],"formal":[81],"guarantee":[82],"robustness,":[84],"which":[85],"context":[88],"this":[90,142],"paper.":[91],"To":[92],"do":[93],"so,":[94],"abstract":[95,111,118,125,152,162,226],"interpretation,":[96],"popular":[98],"state-of-the-art":[99],"method,":[100],"consisting":[101],"converting":[103],"layers":[105],"network":[109,197],"into":[110,171],"layers,":[112],"proposed.":[116],"An":[117],"layer":[119,159],"can":[120],"act":[121],"on":[122,208],"geometric":[124],"object":[126],"or":[127],"shape":[128],"comprising":[129],"implicitly":[130],"infinite":[132],"number":[133],"rather":[136],"than":[137],"individual":[139],"input.":[140],"In":[141],"paper,":[143],"we":[144,165,177,190],"propose":[145],"new":[147],"mathematical":[148,231],"formulation":[149,232],"transformer":[153,170,183,227],"convert":[155],"LeakyReLU":[157,187],"activation":[158],"layer.":[163],"Moreover,":[164],"implement":[166],"and":[167,189,214,233],"integrate":[168],"our":[169,182,225],"ERAN":[173],"tool.":[174],"For":[175],"validation,":[176],"assess":[178],"performance":[180],"according":[184,198],"hyperparameter,":[188],"study":[191],"input":[201],"perturbation":[202],"intensity.":[203],"Our":[204],"approach":[205],"evaluated":[207],"three":[209],"datasets:":[211],"MNIST,":[212],"Fashion":[213],"robotic":[216],"dataset.":[217],"obtained":[219],"results":[220],"demonstrate":[221],"efficacy":[223],"terms":[229],"implementation.":[234]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":5}],"updated_date":"2026-07-08T08:33:18.762332","created_date":"2025-10-10T00:00:00"}