{"id":"https://openalex.org/W6892778163","doi":"https://doi.org/10.5281/zenodo.12707712","title":"Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks (TAP 24 Artifact)","display_name":"Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks (TAP 24 Artifact)","publication_year":2024,"publication_date":"2024-07-10","ids":{"openalex":"https://openalex.org/W6892778163","doi":"https://doi.org/10.5281/zenodo.12707712"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.12707712","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12707712","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.12707712","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"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"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":null,"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"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.6439999938011169},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5763000249862671},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5267999768257141},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.48350000381469727},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4375999867916107},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4007999897003174},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.3901999890804291},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.37130001187324524}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8048999905586243},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6439999938011169},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6072999835014343},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5763000249862671},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5267999768257141},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.48350000381469727},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4375999867916107},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4007999897003174},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3901999890804291},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38989999890327454},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.37130001187324524},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3456999957561493},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31790000200271606},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.30799999833106995},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.2815000116825104},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C2781162219","wikidata":"https://www.wikidata.org/wiki/Q26250693","display_name":"Replicate","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.26109999418258667},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.25369998812675476},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.12707712","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12707712","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"}],"best_oa_location":{"id":"doi:10.5281/zenodo.12707712","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.12707712","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"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":{"This":[0],"is":[1,61,161],"the":[2,5,34,40,48,144],"artifact":[3],"for":[4,13,47,64,74,132,169],"TAP":[6],"2024":[7],"paper":[8,142],"'Affinitree:":[9],"A":[10,58],"Compositional":[11],"Framework":[12],"Formal":[14],"Analysis":[15],"and":[16,32,36,92,110,119,135,158,172],"Explanation":[17],"of":[18,97,107,125,138,146],"Deep":[19,76],"Neural":[20,77],"Networks'.":[21],"The":[22,42,95,141],"README":[23],"outlines":[24],"all":[25],"necessary":[26],"steps":[27],"to":[28,102],"replicate":[29],"our":[30],"experiments":[31],"reproduce":[33],"tables":[35],"figures":[37],"presented":[38],"in":[39,123],"paper.":[41],"provided":[43],"instructions":[44],"are":[45],"suitable":[46],"TACAS":[49],"23":[50],"Artifact":[51],"Evaluation":[52],"VM":[53],"-":[54],"Ubuntu":[55],"22.04":[56],"LTS.":[57],"Docker":[59],"file":[60],"also":[62],"included":[63],"convenience.":[65],"Paper":[66],"abstract":[67],"We":[68],"present":[69],"affinitree,":[70],"a":[71,105,164],"compositional":[72],"framework":[73],"analyzing":[75],"Networks":[78],"(DNNs)":[79],"based":[80],"on":[81],"three":[82,149],"elementary":[83],"principles:":[84],"(1)":[85],"symbolic":[86],"execution,":[87],"(2)":[88],"infeasible":[89],"path":[90],"elimination,":[91],"(3)":[93],"abstraction.":[94],"combination":[96],"these":[98],"principles":[99],"allows":[100],"one":[101],"elegantly":[103],"solve":[104],"number":[106],"interesting":[108],"analysis":[109],"verification":[111,115,137],"tasks,":[112],"like":[113],"traditional":[114],"problems":[116],"with":[117],"pre-":[118],"post-conditions,":[120],"model":[121],"explanations":[122],"terms":[124],"semantically":[126],"equivalent":[127],"decision":[128],"trees,":[129],"concolic":[130],"execution":[131],"slice-oriented":[133],"testing,":[134],"visual":[136],"two-dimensional":[139],"slices.":[140],"illustrates":[143],"flexibility":[145],"affinitree":[147],"over":[148],"different":[150],"use":[151],"cases":[152],"covering":[153],"fairness":[154],"evaluation,":[155],"adversarial":[156],"examples,":[157],"counterfactuals.":[159],"Affinitree":[160],"available":[162],"as":[163],"modular":[165],"open":[166],"source":[167],"library":[168],"replication,":[170],"experimentation,":[171],"extension.":[173]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}