{"id":"https://openalex.org/W6911983976","doi":"https://doi.org/10.5281/zenodo.13341015","title":"Reproduction Package for Submission `A Literature Review on Verification and Abstraction of Neural Networks'","display_name":"Reproduction Package for Submission `A Literature Review on Verification and Abstraction of Neural Networks'","publication_year":2024,"publication_date":"2024-08-19","ids":{"openalex":"https://openalex.org/W6911983976","doi":"https://doi.org/10.5281/zenodo.13341015"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.13341015","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13341015","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.13341015","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kanav, Sudeep","orcid":"https://orcid.org/0000-0001-6078-4175"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kanav, Sudeep","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Kretinsky, Jan","orcid":"https://orcid.org/0000-0002-8122-2881"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kretinsky, Jan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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/metadata","display_name":"Metadata","score":0.8227999806404114},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.6955999732017517},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.6741999983787537},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6129999756813049},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5408999919891357},{"id":"https://openalex.org/keywords/metadata-repository","display_name":"Metadata repository","score":0.4097000062465668},{"id":"https://openalex.org/keywords/reading","display_name":"Reading (process)","score":0.40130001306533813}],"concepts":[{"id":"https://openalex.org/C93518851","wikidata":"https://www.wikidata.org/wiki/Q180160","display_name":"Metadata","level":2,"score":0.8227999806404114},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7889000177383423},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.6955999732017517},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.6741999983787537},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.647599995136261},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6129999756813049},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5408999919891357},{"id":"https://openalex.org/C153048206","wikidata":"https://www.wikidata.org/wiki/Q3454922","display_name":"Metadata repository","level":3,"score":0.4097000062465668},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.40130001306533813},{"id":"https://openalex.org/C171730128","wikidata":"https://www.wikidata.org/wiki/Q5227290","display_name":"Data file","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3547999858856201},{"id":"https://openalex.org/C30872290","wikidata":"https://www.wikidata.org/wiki/Q1172389","display_name":"Data element","level":3,"score":0.3531999886035919},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.289000004529953},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.28450000286102295},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.2840000092983246},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.2644999921321869},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26440000534057617}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.13341015","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13341015","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"dataset"}],"best_oa_location":{"id":"doi:10.5281/zenodo.13341015","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13341015","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"artifact":[1,20],"contains":[2,21,40,104],"the":[3,7,22,41,44,52,58,63,77,84,87,93,112,125,132,147,158,161],"aggregated":[4],"data":[5,24],"for":[6,34,109,134],"article":[8],"\"A":[9],"Literature":[10],"Review":[11,99],"on":[12,71,117,208],"Verification":[13],"and":[14,86,131,210],"Abstraction":[15],"of":[16,43,92,111,121,164,169,186,202,226],"Neural":[17],"Networks\".":[18],"The":[19,37,101,139],"following":[23,140],"files:":[25],"|--":[26,28,30],"phase-1_search-space.csv":[27,39,176],"phase-2-3_process-title-abstract.csv":[29,192,214],"review_sheet.csv":[31,103,233],"Search":[32],"space":[33],"literature":[35,152],"review":[36,120],"file":[38,59,102],"metadata":[42,105],"papers":[45,94,170,187,203,227],"published":[46],"in":[47,79,150,171,228],"our":[48,67,80,107,118,151,172],"considered":[49],"conferences":[50],"during":[51],"observed":[53],"years.":[54],"Filtering":[55],"process":[56],"In":[57],"phase-2-3_process-title-abstract.csv,":[60],"we":[61,73,89,127],"include":[62,76],"files":[64,163],"that":[65,204],"contain":[66],"expected":[68],"keywords.":[69],"Depending":[70],"whether":[72],"decided":[74],"to":[75,130,145,157],"paper":[78],"survey":[81],"after":[82,188],"reading":[83],"title":[85],"abstract,":[88],"marked":[90],"each":[91,110,122],"with":[95],"`accept`":[96],"or":[97],"`decline`.":[98],"sheet":[100],"describing":[106],"reviews":[108],"publications.":[113],"It":[114],"holds":[115],"information":[116],"final":[119],"paper,":[123],"including":[124],"group":[126],"assigned":[128],"it":[129],"reasons":[133],"its":[135],"exclusion.":[136],"Generating":[137],"numbers":[138,148],"commands":[141],"can":[142],"be":[143],"executed":[144],"reproduce":[146],"used":[149],"review.":[153],"#":[154,167,184,200,224],"Change":[155],"directory":[156,159],"containing":[160],"CSV":[162],"this":[165],"artifact.":[166],"Number":[168,185,201,225],"search":[173],"space.":[174],"cat":[175,191],"|":[177,181,193,197,215,219,221,234,238,240],"tail":[178,194,216,235],"-n":[179,195,217,236],"+2":[180,196,218,237],"wc":[182,198],"-l":[183,199],"keyword":[189],"search.":[190],"are":[205],"excluded":[206],"based":[207],"abstracts":[209],"titles.":[211],"cut":[212,231],"-f9":[213],"sort":[220,239],"uniq":[222,241],"-c":[223,242],"different":[229],"classes.":[230],"-f7":[232]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}