{"id":"https://openalex.org/W4381569138","doi":"https://doi.org/10.1007/s10009-023-00700-7","title":"Towards rigorous understanding of neural networks via semantics-preserving transformations","display_name":"Towards rigorous understanding of neural networks via semantics-preserving transformations","publication_year":2023,"publication_date":"2023-05-30","ids":{"openalex":"https://openalex.org/W4381569138","doi":"https://doi.org/10.1007/s10009-023-00700-7"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-023-00700-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-023-00700-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-023-00700-7.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"International Journal on Software Tools for Technology Transfer","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/s10009-023-00700-7.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068788783","display_name":"Maximilian Schl\u00fcter","orcid":"https://orcid.org/0000-0002-5100-7259"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Maximilian Schl\u00fcter","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049144085","display_name":"Gerrit Nolte","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerrit Nolte","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024644413","display_name":"Alnis Murtovi","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alnis Murtovi","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078808456","display_name":"Bernhard Steffen","orcid":"https://orcid.org/0000-0001-9619-1558"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Steffen","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5068788783"],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.8741,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.78196689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"25","issue":"3","first_page":"301","last_page":"327"},"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.9998000264167786,"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.9998000264167786,"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.9994000196456909,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.9825999736785889,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials 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.7584842443466187},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.6831592321395874},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.562576174736023},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5456522107124329},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4852578341960907},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4851413667201996},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.48460254073143005},{"id":"https://openalex.org/keywords/rectifier","display_name":"Rectifier (neural networks)","score":0.431222528219223},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4257143437862396},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.4218537211418152},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.419746458530426},{"id":"https://openalex.org/keywords/recurrent-neural-network","display_name":"Recurrent neural network","score":0.1860036551952362},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18123123049736023},{"id":"https://openalex.org/keywords/stochastic-neural-network","display_name":"Stochastic neural network","score":0.15974050760269165},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.15096703171730042}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7584842443466187},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6831592321395874},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.562576174736023},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5456522107124329},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4852578341960907},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4851413667201996},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.48460254073143005},{"id":"https://openalex.org/C50100734","wikidata":"https://www.wikidata.org/wiki/Q7303176","display_name":"Rectifier (neural networks)","level":5,"score":0.431222528219223},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4257143437862396},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.4218537211418152},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.419746458530426},{"id":"https://openalex.org/C147168706","wikidata":"https://www.wikidata.org/wiki/Q1457734","display_name":"Recurrent neural network","level":3,"score":0.1860036551952362},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18123123049736023},{"id":"https://openalex.org/C86582703","wikidata":"https://www.wikidata.org/wiki/Q7617824","display_name":"Stochastic neural network","level":4,"score":0.15974050760269165},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.15096703171730042},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-023-00700-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-023-00700-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-023-00700-7.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10009-023-00700-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-023-00700-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-023-00700-7.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7200000286102295}],"awards":[],"funders":[{"id":"https://openalex.org/F4320329559","display_name":"Technische Universit\u00e4t Dortmund","ror":"https://ror.org/01k97gp34"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4381569138.pdf"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1787224781","https://openalex.org/W1969067576","https://openalex.org/W1996833224","https://openalex.org/W2031280071","https://openalex.org/W2031806265","https://openalex.org/W2047650874","https://openalex.org/W2074768646","https://openalex.org/W2101512909","https://openalex.org/W2109276114","https://openalex.org/W2117495921","https://openalex.org/W2190008860","https://openalex.org/W2195388612","https://openalex.org/W2282821441","https://openalex.org/W2559655401","https://openalex.org/W2594877703","https://openalex.org/W2612690371","https://openalex.org/W2766447205","https://openalex.org/W2899336029","https://openalex.org/W2954252370","https://openalex.org/W2958089299","https://openalex.org/W2962772482","https://openalex.org/W2962824341","https://openalex.org/W2962824709","https://openalex.org/W2963857521","https://openalex.org/W2963913218","https://openalex.org/W2982316857","https://openalex.org/W3047375952","https://openalex.org/W3116286104","https://openalex.org/W3203751129","https://openalex.org/W4200316166","https://openalex.org/W4212774754","https://openalex.org/W4252763650","https://openalex.org/W4295094175","https://openalex.org/W4301409532","https://openalex.org/W4366726364","https://openalex.org/W4381542600","https://openalex.org/W6600020652","https://openalex.org/W6600109629","https://openalex.org/W6600407735","https://openalex.org/W6610924312","https://openalex.org/W6778883912","https://openalex.org/W6824754410"],"related_works":["https://openalex.org/W2081900870","https://openalex.org/W2183306018","https://openalex.org/W2549990292","https://openalex.org/W2345479200","https://openalex.org/W2951819827","https://openalex.org/W2849310602","https://openalex.org/W2038416447","https://openalex.org/W2419146053","https://openalex.org/W2364151838","https://openalex.org/W4300186027"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"paper,":[3],"we":[4],"present":[5],"an":[6],"algebraic":[7],"approach":[8,41],"to":[9,39,62,71,84,98,117],"the":[10,43,51,85,125,134,156],"precise":[11,82,109],"and":[12,15,65,79,87,116],"global":[13],"verification":[14],"explanation":[16,89],"of":[17,24,46,53,114,127,136,151],"Rectifier":[18,101],"Neural":[19,27],"Networks":[20,28,102],",":[21],"a":[22,148,152],"subclass":[23],"Piece-wise":[25],"Linear":[26],"(PLNNs),":[29],"i.e.,":[30],"networks":[31,48],"that":[32,49,129],"semantically":[33,54],"represent":[34],"piece-wise":[35],"affine":[36],"functions.":[37],"Key":[38],"our":[40],"is":[42],"symbolic":[44],"execution":[45],"these":[47],"allows":[50,96],"construction":[52],"equivalent":[55],"Typed":[56],"Affine":[57],"Decision":[58],"Structures":[59],"(TADS).":[60],"Due":[61],"their":[63,119],"deterministic":[64],"sequential":[66],"nature,":[67],"TADS":[68,91],"can,":[69],"similarly":[70],"decision":[72],"trees,":[73],"be":[74],"considered":[75],"as":[76,81],"white-box":[77],"models":[78],"therefore":[80],"solutions":[83],"model":[86],"outcome":[88],"problem.":[90],"are":[92,130,145],"linear":[93],"algebras,":[94],"which":[95],"one":[97],"elegantly":[99],"compare":[100],"for":[103],"equivalence":[104],"or":[105,133],"similarity,":[106],"both":[107],"with":[108],"diagnostic":[110],"information":[111],"in":[112],"case":[113],"failure,":[115],"characterize":[118],"classification":[120],"potential":[121],"by":[122],"precisely":[123],"characterizing":[124],"set":[126,135],"inputs":[128,137],"specifically":[131],"classified,":[132],"where":[138],"two":[139],"network-based":[140],"classifiers":[141],"differ.":[142],"All":[143],"phenomena":[144],"illustrated":[146],"along":[147],"detailed":[149],"discussion":[150],"minimal,":[153],"illustrative":[154],"example:":[155],"continuous":[157],"XOR":[158],"function.":[159]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}