{"id":"https://openalex.org/W3089336663","doi":"https://doi.org/10.1145/3387939.3391594","title":"On the probabilistic analysis of neural networks","display_name":"On the probabilistic analysis of neural networks","publication_year":2020,"publication_date":"2020-06-29","ids":{"openalex":"https://openalex.org/W3089336663","doi":"https://doi.org/10.1145/3387939.3391594","mag":"3089336663"},"language":"en","primary_location":{"id":"doi:10.1145/3387939.3391594","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3387939.3391594","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3387939.3391594","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3387939.3391594","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053134485","display_name":"Corina S. P\u0103s\u0103reanu","orcid":"https://orcid.org/0000-0002-5579-6961"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Corina P\u0103s\u0103reanu","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043589715","display_name":"Hayes Converse","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hayes Converse","raw_affiliation_strings":["University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083739081","display_name":"Antonio Filieri","orcid":"https://orcid.org/0000-0001-9646-646X"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Antonio Filieri","raw_affiliation_strings":["Imperial College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055334891","display_name":"Divya Gopinath","orcid":"https://orcid.org/0000-0002-4279-7420"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Divya Gopinath","raw_affiliation_strings":["NASA Ames"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NASA Ames","institution_ids":["https://openalex.org/I1280536761"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.345,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.58671252,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"5","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":1.0,"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":1.0,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9927999973297119,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9912999868392944,"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":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8240599632263184},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7685139179229736},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7125241160392761},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6295148134231567},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.5692389011383057},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5655635595321655},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.505385160446167},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.4955078363418579},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4953095018863678},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3384120762348175}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8240599632263184},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7685139179229736},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7125241160392761},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6295148134231567},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.5692389011383057},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5655635595321655},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.505385160446167},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.4955078363418579},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4953095018863678},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3384120762348175},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3387939.3391594","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3387939.3391594","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3387939.3391594","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/83606","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/83606","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"Conference Paper"}],"best_oa_location":{"id":"doi:10.1145/3387939.3391594","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3387939.3391594","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3387939.3391594","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.8299999833106995,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3089336663.pdf","grobid_xml":"https://content.openalex.org/works/W3089336663.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1531327550","https://openalex.org/W1673923490","https://openalex.org/W1978492002","https://openalex.org/W1986698569","https://openalex.org/W2062609317","https://openalex.org/W2073787328","https://openalex.org/W2109892325","https://openalex.org/W2543296129","https://openalex.org/W2560674852","https://openalex.org/W2565186948","https://openalex.org/W2594877703","https://openalex.org/W2761709036","https://openalex.org/W2777012514","https://openalex.org/W2791251367","https://openalex.org/W2794609696","https://openalex.org/W2798356176","https://openalex.org/W2809413523","https://openalex.org/W2949397144","https://openalex.org/W2955031793","https://openalex.org/W2963592643"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W2965083567","https://openalex.org/W4235240664","https://openalex.org/W2002739602","https://openalex.org/W2345647014","https://openalex.org/W2201192772","https://openalex.org/W3136891595","https://openalex.org/W2535030201","https://openalex.org/W1964819397","https://openalex.org/W2130570535"],"abstract_inverted_index":{"Neural":[0],"networks":[1],"are":[2],"powerful":[3],"tools":[4],"for":[5],"automated":[6],"decision-making,":[7],"seeing":[8],"increased":[9],"application":[10],"in":[11],"safety-critical":[12],"domains,":[13],"such":[14,44],"as":[15,45],"autonomous":[16],"driving.":[17],"Due":[18],"to":[19,37,48,78],"their":[20,28,66],"black-box":[21],"nature":[22],"and":[23,50,68],"large":[24],"scale,":[25],"reasoning":[26],"about":[27],"behavior":[29,80],"is":[30,34],"challenging.":[31],"Statistical":[32],"analysis":[33],"often":[35],"used":[36],"infer":[38],"probabilistic":[39,60],"properties":[40],"of":[41,65,73,81],"a":[42],"network,":[43],"its":[46],"robustness":[47],"noise":[49],"inaccurate":[51],"inputs.":[52],"While":[53],"scalable,":[54],"statistical":[55],"methods":[56],"can":[57],"only":[58],"provide":[59],"guarantees":[61],"on":[62],"the":[63,71,82],"quality":[64],"results":[67],"may":[69],"underestimate":[70],"impact":[72],"low":[74],"probability":[75],"inputs":[76],"leading":[77],"undesired":[79],"network.":[83]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}