{"id":"https://openalex.org/W4391334961","doi":"https://doi.org/10.48550/arxiv.2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","display_name":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","publication_year":2024,"publication_date":"2024-01-25","ids":{"openalex":"https://openalex.org/W4391334961","doi":"https://doi.org/10.48550/arxiv.2401.14461"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2401.14461","pdf_url":"https://arxiv.org/pdf/2401.14461","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2401.14461","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100637734","display_name":"Haoze Wu","orcid":"https://orcid.org/0000-0002-5077-144X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Haoze","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081405133","display_name":"Omri Isac","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Isac, Omri","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036219926","display_name":"Aleksandar Zelji\u0107","orcid":"https://orcid.org/0000-0003-0673-9327"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zelji\u0107, Aleksandar","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004977942","display_name":"Teruhiro Tagomori","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tagomori, Teruhiro","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006770740","display_name":"Matthew L. Daggitt","orcid":"https://orcid.org/0000-0002-2552-3671"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daggitt, Matthew","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079083322","display_name":"Wen Kokke","orcid":"https://orcid.org/0000-0002-1662-0381"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kokke, Wen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049675170","display_name":"Idan Refaeli","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Refaeli, Idan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050049437","display_name":"Guy Amir","orcid":"https://orcid.org/0000-0002-7951-7795"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amir, Guy","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036845773","display_name":"Kyle D. Julian","orcid":"https://orcid.org/0000-0002-6247-1874"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Julian, Kyle","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027249175","display_name":"Shahaf Bassan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bassan, Shahaf","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102874593","display_name":"Huang Pei","orcid":"https://orcid.org/0000-0002-5239-9565"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Pei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102734862","display_name":"Ori Lahav","orcid":"https://orcid.org/0000-0003-4305-6998"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lahav, Ori","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100340964","display_name":"Min Wu","orcid":"https://orcid.org/0000-0003-0977-3600"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Min","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100402983","display_name":"Min Zhang","orcid":"https://orcid.org/0000-0003-1938-2902"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Min","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026643182","display_name":"Ekaterina Komendantskaya","orcid":"https://orcid.org/0000-0002-3240-0987"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Komendantskaya, Ekaterina","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044509944","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0001-5292-801X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Katz, Guy","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026961968","display_name":"Clark Barrett","orcid":"https://orcid.org/0000-0002-9522-3084"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barrett, Clark","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":84},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9818,"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/T10320","display_name":"Neural Networks and Applications","score":0.9818,"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":[],"concepts":[{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.7727668},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5838201},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5098321},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31319368},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.16441438}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2401.14461","pdf_url":"https://arxiv.org/pdf/2401.14461","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2401.14461","pdf_url":"https://arxiv.org/pdf/2401.14461","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.82,"id":"https://metadata.un.org/sdg/11"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W338826976","https://openalex.org/W2748952813","https://openalex.org/W2546380746","https://openalex.org/W2506093188","https://openalex.org/W2391061712","https://openalex.org/W2372452257","https://openalex.org/W2360439310","https://openalex.org/W2271382194","https://openalex.org/W2094171095","https://openalex.org/W1979303977"],"abstract_inverted_index":{"This":[0],"paper":[1],"serves":[2],"as":[3],"a":[4],"comprehensive":[5],"system":[6],"description":[7],"of":[8,11,18],"version":[9],"2.0":[10],"the":[12,23,29],"Marabou":[13],"framework":[14],"for":[15],"formal":[16],"analysis":[17],"neural":[19],"networks.":[20],"We":[21],"discuss":[22],"tool's":[24],"architectural":[25],"design":[26],"and":[27,32],"highlight":[28],"major":[30],"features":[31],"components":[33],"introduced":[34],"since":[35],"its":[36],"initial":[37],"release.":[38]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4391334961","counts_by_year":[],"updated_date":"2024-12-13T03:26:12.604595","created_date":"2024-01-30"}