{"id":"https://openalex.org/W4385482686","doi":"https://doi.org/10.1109/ijcnn54540.2023.10191169","title":"Verification-friendly Networks: the Case for Parametric ReLUs","display_name":"Verification-friendly Networks: the Case for Parametric ReLUs","publication_year":2023,"publication_date":"2023-06-18","ids":{"openalex":"https://openalex.org/W4385482686","doi":"https://doi.org/10.1109/ijcnn54540.2023.10191169"},"language":"en","primary_location":{"id":"doi:10.1109/ijcnn54540.2023.10191169","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/ijcnn54540.2023.10191169","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5043590673","display_name":"Francesco Leofante","orcid":"https://orcid.org/0000-0001-8245-9429"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Francesco Leofante","raw_affiliation_strings":["Imperial College London,Department of Computing,London,United Kingdom","Department of Computing, Imperial College London, London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London,Department of Computing,London,United Kingdom","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Computing, Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013371520","display_name":"Patrick Henriksen","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Patrick Henriksen","raw_affiliation_strings":["Imperial College London,Department of Computing,London,United Kingdom","Department of Computing, Imperial College London, London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London,Department of Computing,London,United Kingdom","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Computing, Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015045050","display_name":"Alessio Lomuscio","orcid":"https://orcid.org/0000-0003-3420-723X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessio Lomuscio","raw_affiliation_strings":["Imperial College London,Department of Computing,London,United Kingdom","Department of Computing, Imperial College London, London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London,Department of Computing,London,United Kingdom","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Computing, Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":0.654,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67452936,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"21","issue":null,"first_page":"1","last_page":"9"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9710999727249146,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.963699996471405,"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.8169564008712769},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6413580775260925},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6331402659416199},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6257365345954895},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5778803825378418},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.5763391256332397},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.4996647834777832},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4274009168148041},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4066449701786041},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.393523633480072},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3761957883834839},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.28249531984329224},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22862321138381958},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17505359649658203}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8169564008712769},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6413580775260925},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6331402659416199},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6257365345954895},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5778803825378418},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.5763391256332397},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.4996647834777832},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4274009168148041},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4066449701786041},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.393523633480072},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3761957883834839},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.28249531984329224},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22862321138381958},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17505359649658203},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ijcnn54540.2023.10191169","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/ijcnn54540.2023.10191169","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 International Joint Conference on Neural Networks (IJCNN)","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/103943","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/103943","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Joint Conference on Neural Networks (IJCNN 2023)","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2149232269","display_name":null,"funder_award_id":"CiET17/18-26","funder_id":"https://openalex.org/F4320320005","funder_display_name":"Royal Academy of Engineering"}],"funders":[{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W1921523184","https://openalex.org/W1945616565","https://openalex.org/W2551176409","https://openalex.org/W2594877703","https://openalex.org/W2785755647","https://openalex.org/W2789524546","https://openalex.org/W2798356176","https://openalex.org/W2803850896","https://openalex.org/W2805807555","https://openalex.org/W2887603965","https://openalex.org/W2890505418","https://openalex.org/W2900153411","https://openalex.org/W2950029838","https://openalex.org/W2957311447","https://openalex.org/W2963054787","https://openalex.org/W2963496101","https://openalex.org/W2970456043","https://openalex.org/W2995876497","https://openalex.org/W2996098493","https://openalex.org/W3011556052","https://openalex.org/W3012981624","https://openalex.org/W3021481267","https://openalex.org/W3043655933","https://openalex.org/W3046272654","https://openalex.org/W3046712683","https://openalex.org/W3090972680","https://openalex.org/W3117881175","https://openalex.org/W3131748146","https://openalex.org/W3135693135","https://openalex.org/W3143272802","https://openalex.org/W3168226009","https://openalex.org/W3187944710","https://openalex.org/W3190898705","https://openalex.org/W3192314570","https://openalex.org/W3197658415","https://openalex.org/W3205297166","https://openalex.org/W3211524108","https://openalex.org/W3212074741","https://openalex.org/W3214179199","https://openalex.org/W4283750249","https://openalex.org/W4283791687","https://openalex.org/W4289306490","https://openalex.org/W4301187031","https://openalex.org/W4304732364","https://openalex.org/W4382318592","https://openalex.org/W6640185926","https://openalex.org/W6640425456","https://openalex.org/W6730267373","https://openalex.org/W6734921443","https://openalex.org/W6737380770","https://openalex.org/W6748093715","https://openalex.org/W6751161574","https://openalex.org/W6751278434","https://openalex.org/W6751834733","https://openalex.org/W6752034395","https://openalex.org/W6754313168","https://openalex.org/W6754553897","https://openalex.org/W6754646375","https://openalex.org/W6754681091","https://openalex.org/W6760047469","https://openalex.org/W6763911020","https://openalex.org/W6765694979","https://openalex.org/W6766811836","https://openalex.org/W6767799123","https://openalex.org/W6772168652","https://openalex.org/W6774928123","https://openalex.org/W6776349180","https://openalex.org/W6783637622","https://openalex.org/W6790764942","https://openalex.org/W6791155269","https://openalex.org/W6792471048","https://openalex.org/W6801148160","https://openalex.org/W6803484293","https://openalex.org/W6803491935","https://openalex.org/W6845776510","https://openalex.org/W6880716805"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W2155788121","https://openalex.org/W2480201319","https://openalex.org/W2294325978","https://openalex.org/W2112298791"],"abstract_inverted_index":{"It":[0],"has":[1,25],"increasingly":[2],"been":[3,26],"recognised":[4],"that":[5,56,78,113],"verification":[6,32,89,102],"can":[7,59],"contribute":[8],"to":[9,42,124,127],"the":[10,29,107],"validation":[11],"and":[12,91],"debugging":[13],"of":[14,31,33,70,85],"neural":[15,34,45],"networks":[16,46,80],"before":[17],"deployment,":[18],"particularly":[19],"in":[20,28,48,68,88],"safety-critical":[21],"areas.":[22],"While":[23],"progress":[24,58],"made":[27,61],"area":[30],"networks,":[35],"present":[36],"techniques":[37],"still":[38],"do":[39],"not":[40,105],"scale":[41],"large":[43],"ReLU-based":[44],"used":[47],"many":[49],"applications.":[50],"In":[51],"this":[52],"paper":[53],"we":[54,111],"show":[55,112],"considerable":[57],"be":[60],"by":[62],"employing":[63],"Parametric":[64],"ReLU":[65,72,133],"activation":[66],"functions":[67],"lieu":[69],"plain":[71],"functions.":[73],"We":[74],"give":[75],"training":[76,115,129],"procedures":[77],"produce":[79],"which":[81],"achieve":[82],"one":[83],"order":[84],"magnitude":[86],"gain":[87],"overheads":[90],"30-100%":[92],"fewer":[93],"timeouts":[94],"with":[95,117],"VeriNet,":[96],"a":[97],"SoA":[98],"Symbolic":[99],"Interval":[100],"Propagation-based":[101],"toolkit,":[103],"while":[104],"compromising":[106],"resulting":[108],"accuracy.":[109],"Furthermore,":[110],"adversarial":[114,128],"combined":[116],"our":[118],"approach":[119],"improves":[120],"certified":[121],"robustness":[122],"up":[123],"36%":[125],"compared":[126],"performed":[130],"on":[131],"baseline":[132],"networks.":[134]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}