{"id":"https://openalex.org/W4401284123","doi":"https://doi.org/10.1007/s10817-024-09704-7","title":"Verifying the Generalization of Deep Learning to Out-of-Distribution Domains","display_name":"Verifying the Generalization of Deep Learning to Out-of-Distribution Domains","publication_year":2024,"publication_date":"2024-08-03","ids":{"openalex":"https://openalex.org/W4401284123","doi":"https://doi.org/10.1007/s10817-024-09704-7"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-024-09704-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-024-09704-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09704-7.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09704-7.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050049437","display_name":"Guy Amir","orcid":"https://orcid.org/0000-0002-7951-7795"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Guy Amir","raw_affiliation_strings":["The Hebrew University of Jerusalem, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022702916","display_name":"Osher Maayan","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Osher Maayan","raw_affiliation_strings":["The Hebrew University of Jerusalem, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020248443","display_name":"Tom Zelazny","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tom Zelazny","raw_affiliation_strings":["Stanford University, Stanford, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102986148","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0002-7729-8373"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Guy Katz","raw_affiliation_strings":["The Hebrew University of Jerusalem, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027593733","display_name":"Michael Schapira","orcid":"https://orcid.org/0000-0002-9336-8351"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Michael Schapira","raw_affiliation_strings":["The Hebrew University of Jerusalem, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050049437"],"corresponding_institution_ids":["https://openalex.org/I197251160"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":1.2151,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81948432,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"68","issue":"3","first_page":null,"last_page":null},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.982200026512146,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.968999981880188,"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/generalization","display_name":"Generalization","score":0.7985413074493408},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7619799971580505},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.7023580074310303},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.6983236074447632},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.6822872757911682},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.5847322940826416},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5802240371704102},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5793769359588623},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5640485286712646},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5612523555755615},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06840333342552185}],"concepts":[{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.7985413074493408},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7619799971580505},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.7023580074310303},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.6983236074447632},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.6822872757911682},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.5847322940826416},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5802240371704102},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5793769359588623},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5640485286712646},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5612523555755615},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06840333342552185},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10817-024-09704-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-024-09704-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09704-7.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10817-024-09704-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-024-09704-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-024-09704-7.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G5070798284","display_name":null,"funder_award_id":"683/18","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320319059","display_name":"Clore Israel Foundation","ror":"https://ror.org/00mmfdg02"},{"id":"https://openalex.org/F4320321950","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017"},{"id":"https://openalex.org/F4320322183","display_name":"Huawei Technologies","ror":"https://ror.org/00cmhce21"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4401284123.pdf"},"referenced_works_count":107,"referenced_works":["https://openalex.org/W41554520","https://openalex.org/W166862392","https://openalex.org/W1183254320","https://openalex.org/W1534477342","https://openalex.org/W1985929316","https://openalex.org/W1986490170","https://openalex.org/W1999955156","https://openalex.org/W2036910349","https://openalex.org/W2043996829","https://openalex.org/W2072492557","https://openalex.org/W2075157159","https://openalex.org/W2078595922","https://openalex.org/W2091565802","https://openalex.org/W2180612164","https://openalex.org/W2243397390","https://openalex.org/W2257979135","https://openalex.org/W2543296129","https://openalex.org/W2546571074","https://openalex.org/W2565186948","https://openalex.org/W2585324004","https://openalex.org/W2594877703","https://openalex.org/W2603766943","https://openalex.org/W2744628735","https://openalex.org/W2746553466","https://openalex.org/W2768254111","https://openalex.org/W2787908307","https://openalex.org/W2794609696","https://openalex.org/W2800473699","https://openalex.org/W2801358835","https://openalex.org/W2803831897","https://openalex.org/W2889490035","https://openalex.org/W2892430965","https://openalex.org/W2893132739","https://openalex.org/W2899116309","https://openalex.org/W2900153411","https://openalex.org/W2903710663","https://openalex.org/W2933433744","https://openalex.org/W2936674544","https://openalex.org/W2938701611","https://openalex.org/W2944959599","https://openalex.org/W2948513753","https://openalex.org/W2956805085","https://openalex.org/W2957311447","https://openalex.org/W2962295100","https://openalex.org/W2962692913","https://openalex.org/W2963054787","https://openalex.org/W2963530628","https://openalex.org/W2963575966","https://openalex.org/W2980176594","https://openalex.org/W2982540258","https://openalex.org/W2987585208","https://openalex.org/W2989358546","https://openalex.org/W2997095483","https://openalex.org/W2998619042","https://openalex.org/W2998709064","https://openalex.org/W3012186415","https://openalex.org/W3018137638","https://openalex.org/W3028345072","https://openalex.org/W3029066813","https://openalex.org/W3044058243","https://openalex.org/W3046662910","https://openalex.org/W3085626879","https://openalex.org/W3089588625","https://openalex.org/W3093055384","https://openalex.org/W3094683669","https://openalex.org/W3096553286","https://openalex.org/W3098276446","https://openalex.org/W3098476760","https://openalex.org/W3102100346","https://openalex.org/W3102139284","https://openalex.org/W3102961490","https://openalex.org/W3105155462","https://openalex.org/W3108851260","https://openalex.org/W3109102645","https://openalex.org/W3118280259","https://openalex.org/W3140205966","https://openalex.org/W3149839747","https://openalex.org/W3157401082","https://openalex.org/W3164731060","https://openalex.org/W3165816975","https://openalex.org/W3182751084","https://openalex.org/W3184164189","https://openalex.org/W3186232356","https://openalex.org/W3186483141","https://openalex.org/W3188209232","https://openalex.org/W3190946860","https://openalex.org/W3207272170","https://openalex.org/W3209638148","https://openalex.org/W4206049941","https://openalex.org/W4206602494","https://openalex.org/W4220696590","https://openalex.org/W4225813442","https://openalex.org/W4281723906","https://openalex.org/W4285605761","https://openalex.org/W4290087446","https://openalex.org/W4293399548","https://openalex.org/W4296964121","https://openalex.org/W4312620108","https://openalex.org/W4323026694","https://openalex.org/W4323026894","https://openalex.org/W4361003621","https://openalex.org/W4366722528","https://openalex.org/W4366723927","https://openalex.org/W4378977211","https://openalex.org/W4384573124","https://openalex.org/W4400939442","https://openalex.org/W4401284123"],"related_works":["https://openalex.org/W4306904969","https://openalex.org/W3162204513","https://openalex.org/W2138720691","https://openalex.org/W4377865163","https://openalex.org/W3193857078","https://openalex.org/W2888956734","https://openalex.org/W3000197790","https://openalex.org/W4315865067","https://openalex.org/W2979433843","https://openalex.org/W3208304128"],"abstract_inverted_index":{"Abstract":[0],"Deep":[1],"neural":[2,115],"networks":[3,116],"(DNNs)":[4],"play":[5],"a":[6,50,75,146,168],"crucial":[7],"role":[8],"in":[9,66,119,186],"the":[10,107,156,175,179],"field":[11],"of":[12,109,158,177],"machine":[13],"learning,":[14],"demonstrating":[15],"state-of-the-art":[16],"performance":[17],"across":[18],"various":[19],"application":[20],"domains.":[21,96],"However,":[22],"despite":[23],"their":[24],"success,":[25],"DNN-based":[26],"models":[27],"may":[28,36],"occasionally":[29],"exhibit":[30,89],"challenges":[31,180],"with":[32],"generalization":[33,91,100],",":[34],"i.e.,":[35],"fail":[37],"to":[38,56,83,92,182],"handle":[39],"inputs":[40,118],"that":[41,88],"were":[42],"not":[43],"encountered":[44],"during":[45],"training.":[46],"This":[47],"limitation":[48],"is":[49],"significant":[51],"challenge":[52],"when":[53],"it":[54,137],"comes":[55],"deploying":[57,183],"deep":[58,114,147],"learning":[59,149],"for":[60,78,117,152,161,171],"safety-critical":[61],"tasks,":[62],"as":[63,65],"well":[64],"real-world":[67,162,187],"settings":[68],"characterized":[69],"by":[70,105,128],"substantial":[71],"variability.":[72],"We":[73,122],"introduce":[74],"novel":[76],"approach":[77,127,160],"harnessing":[79],"DNN":[80,131,143],"verification":[81,132],"technology":[82],"identify":[84],"DNN-driven":[85,184],"decision":[86],"rules":[87],"robust":[90],"previously":[93],"unencountered":[94],"input":[95,103],"Our":[97],"method":[98],"assesses":[99],"within":[101],"an":[102],"domain":[104],"measuring":[106],"level":[108],"agreement":[110],"between":[111],"independently":[112],"trained":[113],"this":[120],"domain.":[121],"also":[123],"efficiently":[124],"realize":[125],"our":[126,159,165],"using":[129],"off-the-shelf":[130],"engines,":[133],"and":[134,141],"extensively":[135],"evaluate":[136],"on":[138],"both":[139],"supervised":[140],"unsupervised":[142],"benchmarks,":[144],"including":[145],"reinforcement":[148],"(DRL)":[150],"system":[151],"Internet":[153],"congestion":[154],"control\u2014demonstrating":[155],"applicability":[157],"settings.":[163],"Moreover,":[164],"research":[166],"introduces":[167],"fresh":[169],"objective":[170],"formal":[172],"verification,":[173],"offering":[174],"prospect":[176],"mitigating":[178],"linked":[181],"systems":[185],"scenarios.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}