{"id":"https://openalex.org/W6944263129","doi":"https://doi.org/10.17877/de290r-23863","title":"Verification of unsupervised neural networks","display_name":"Verification of unsupervised neural networks","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W6944263129","doi":"https://doi.org/10.17877/de290r-23863"},"language":"en","primary_location":{"id":"doi:10.17877/de290r-23863","is_oa":true,"landing_page_url":"https://doi.org/10.17877/de290r-23863","pdf_url":null,"source":{"id":"https://openalex.org/S4306400811","display_name":"Technische Universit\u00e4t Dortmund Eldorado (Technische Universit\u00e4t Dortmund)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148506","host_organization_name":"Erich-Brost-Institut","host_organization_lineage":["https://openalex.org/I4210148506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.17877/de290r-23863","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"B\u00f6ing, Benedikt","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"B\u00f6ing, Benedikt","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35113208,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9890000224113464,"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.9890000224113464,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.0024999999441206455,"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.7301999926567078},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6973000168800354},{"id":"https://openalex.org/keywords/unsupervised-learning","display_name":"Unsupervised learning","score":0.5275999903678894},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4212999939918518},{"id":"https://openalex.org/keywords/deep-neural-networks","display_name":"Deep neural networks","score":0.413100004196167},{"id":"https://openalex.org/keywords/autoencoder","display_name":"Autoencoder","score":0.38339999318122864},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.37770000100135803}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7537999749183655},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.7301999926567078},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.7199000120162964},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6973000168800354},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5990999937057495},{"id":"https://openalex.org/C8038995","wikidata":"https://www.wikidata.org/wiki/Q1152135","display_name":"Unsupervised learning","level":2,"score":0.5275999903678894},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4212999939918518},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.413100004196167},{"id":"https://openalex.org/C101738243","wikidata":"https://www.wikidata.org/wiki/Q786435","display_name":"Autoencoder","level":3,"score":0.38339999318122864},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.37770000100135803},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.376800000667572},{"id":"https://openalex.org/C136389625","wikidata":"https://www.wikidata.org/wiki/Q334384","display_name":"Supervised learning","level":3,"score":0.3441999852657318},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.3416999876499176},{"id":"https://openalex.org/C120822770","wikidata":"https://www.wikidata.org/wiki/Q5156355","display_name":"Competitive learning","level":3,"score":0.29170000553131104},{"id":"https://openalex.org/C147168706","wikidata":"https://www.wikidata.org/wiki/Q1457734","display_name":"Recurrent neural network","level":3,"score":0.28790000081062317},{"id":"https://openalex.org/C177973122","wikidata":"https://www.wikidata.org/wiki/Q7860946","display_name":"Types of artificial neural networks","level":4,"score":0.25369998812675476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.17877/de290r-23863","is_oa":true,"landing_page_url":"https://doi.org/10.17877/de290r-23863","pdf_url":null,"source":{"id":"https://openalex.org/S4306400811","display_name":"Technische Universit\u00e4t Dortmund Eldorado (Technische Universit\u00e4t Dortmund)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148506","host_organization_name":"Erich-Brost-Institut","host_organization_lineage":["https://openalex.org/I4210148506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.17877/de290r-23863","is_oa":true,"landing_page_url":"https://doi.org/10.17877/de290r-23863","pdf_url":null,"source":{"id":"https://openalex.org/S4306400811","display_name":"Technische Universit\u00e4t Dortmund Eldorado (Technische Universit\u00e4t Dortmund)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210148506","host_organization_name":"Erich-Brost-Institut","host_organization_lineage":["https://openalex.org/I4210148506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Neural":[0],"networks":[1,55,114,136,151,245],"are":[2,18,37,156,247],"at":[3],"the":[4,45,61,109,116,148,153,181,266,312,315,326],"forefront":[5],"of":[6,47,100,118,126,144,184,270,317,338],"machine":[7],"learning":[8],"being":[9,19],"responsible":[10],"for":[11,52,167,202,214,260,328],"achievements":[12],"such":[13,31,190],"as":[14,32,128,130,255,257],"AlphaGo.":[15],"As":[16],"they":[17,155],"deployed":[20],"in":[21,28,40,60,161],"more":[22,24,249,258,329],"and":[23,68,87,132,152,278,314,333],"environments":[25],"-":[26,35],"even":[27],"safety-critical":[29],"ones":[30],"health":[33],"care":[34],"we":[36,92,107,165,179,192,208,238,273,299,309],"naturally":[38],"interested":[39],"assuring":[41],"their":[42],"reliability.":[43,203],"However,":[44,160],"discovery":[46],"so-called":[48],"adver-":[49],"sarial":[50],"attacks":[51,101],"supervised":[53],"neural":[54,113,135,150,211,218,261,293,303,319,347],"demonstrated":[56],"that":[57,97,191,246,290],"tiny":[58],"distortions":[59],"input":[62,172],"space":[63,173],"can":[64,209,274,300],"lead":[65],"to":[66,70,95,115,139,158,196,231,252,324,331],"misclassifications":[67],"thus,":[69],"potentially":[71],"catas-":[72],"trophic":[73],"errors:":[74],"Patients":[75],"could":[76],"be":[77],"diagnosed":[78],"wrongly,":[79],"or":[80],"a":[81,170,187,199,223,240,287,292,335],"car":[82],"might":[83],"confuse":[84],"stop":[85],"signs":[86],"traffic":[88],"lights.":[89],"Thus,":[90],"ideally,":[91],"would":[93],"like":[94],"guarantee":[96],"these":[98,215,339],"types":[99],"cannot":[102],"occur.":[103],"In":[104],"this":[105,140,236,307],"thesis":[106],"extend":[108,180],"research":[110,330],"on":[111,147,169],"reliable":[112,250],"realm":[117],"unsupervised":[119,134,318,346],"learning.":[120],"This":[121],"includes":[122],"defining":[123],"proper":[124],"notions":[125],"reliability,":[127],"well":[129,256],"analyzing":[131],"adapting":[133],"with":[137],"respect":[138],"notion.":[141],"Our":[142],"definitions":[143],"reliability":[145],"depend":[146],"underlying":[149],"problems":[154],"meant":[157],"solve.":[159],"all":[162],"our":[163,253,271],"cases,":[164],"aim":[166],"guarantees":[168],"continuous":[171],"containing":[174],"infinitely":[175],"many":[176],"points.":[177],"Therefore":[178],"traditional":[182],"setting":[183],"testing":[185],"against":[186],"finite":[188],"dataset":[189],"require":[193],"specialized":[194],"tools":[195],"actually":[197],"check":[198],"given":[200,344],"network":[201,212,219,262,304,320],"We":[204,284],"will":[205],"demonstrate":[206],"how":[207,298],"leverage":[210],"verification":[213,281],"purposes.":[216],"Using":[217],"verification,":[220],"however,":[221],"entails":[222],"major":[224],"challenge:":[225],"It":[226,322],"does":[227],"not":[228],"scale":[229],"up":[230],"large":[232],"networks.":[233,348],"To":[234],"overcome":[235],"limitation,":[237],"design":[239],"novel":[241],"training":[242,295],"procedure":[243],"yielding":[244],"both":[248],"according":[251],"definition":[254],"amenable":[259],"verification.":[263,321],"By":[264],"exploiting":[265],"piecewise":[267],"affine":[268],"structure":[269],"networks,":[272],"locally":[275],"simplify":[276],"them":[277],"thus":[279],"decrease":[280],"runtime":[282],"significantly.":[283],"also":[285],"take":[286],"per-":[288],"spective":[289],"complements":[291],"network\u2019s":[294],"by":[296,345],"exploring":[297],"repair":[301],"non-reliable":[302],"ensembles.":[305],"With":[306],"thesis,":[308],"paradigmatically":[310],"show":[311],"necessity":[313],"complications":[316],"aims":[323],"pave":[325],"way":[327],"come":[332],"towards":[334],"safe":[336],"usage":[337],"simple-to-build":[340],"yet":[341],"difficult-to-understand":[342],"models":[343]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}