{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T14:37:07Z","timestamp":1779028627873,"version":"3.51.4"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030908690","type":"print"},{"value":"9783030908706","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-90870-6_5","type":"book-chapter","created":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:06:44Z","timestamp":1636502804000},"page":"83-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Probabilistic Verification of Neural Networks Against Group Fairness"],"prefix":"10.1007","author":[{"given":"Bing","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lijun","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,10]]},"reference":[{"key":"5_CR1","unstructured":"https:\/\/www.kaggle.com\/c\/jigsaw-toxic-comment-classification-challenge"},{"key":"5_CR2","unstructured":"Draft ethics guidelines for trustworthy AI. Tech. rep., European Commission (2018)"},{"key":"5_CR3","unstructured":"Agarwal, A., Beygelzimer, A., Dud\u00edk, M., Langford, J., Wallach, H.M.: A reductions approach to fair classification. In: Dy, J.G., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan, Stockholm, Sweden, 10-15 July 2018. Proceedings of Machine Learning Research, vol. 80, pp. 60\u201369. PMLR (2018). http:\/\/proceedings.mlr.press\/v80\/agarwal18a.html"},{"key":"5_CR4","unstructured":"Agarwal, A., Lohia, P., Nagar, S., Dey, K., Saha, D.: Automated test generation to detect individual discrimination in AI models. CoRR (2018). http:\/\/arxiv.org\/abs\/1809.03260"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Albarghouthi, A., D\u2019Antoni, L., Drews, S.: Repairing decision-making programs under uncertainty. In: Majumdar, R., Kun\u010dak, V. (eds.) Computer Aided Verification, CAV 2017. LNCS, vol. 10426, pp. 181\u2013200. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_9","DOI":"10.1007\/978-3-319-63387-9_9"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Albarghouthi, A., D\u2019Antoni, L., Drews, S., Nori, A.V.: Fairsquare: probabilistic verification of program fairness. Proc. ACM Program. Lang. 1(OOPSLA), 80:1\u201380:30 (2017). https:\/\/doi.org\/10.1145\/3133904","DOI":"10.1145\/3133904"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Alzantot, M., Sharma, Y., Elgohary, A., Ho, B., Srivastava, M.B., Chang, K.: Generating natural language adversarial examples. In: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing (EMNLP 2018), Brussels, Belgium, pp. 2890\u20132896 (2018). https:\/\/doi.org\/10.18653\/v1\/d18-1316","DOI":"10.18653\/v1\/d18-1316"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Angell, R., Johnson, B., Brun, Y., Meliou, A.: Themis: automatically testing software for discrimination. In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/SIGSOFT FSE 2018), Lake Buena Vista, FL, USA, pp. 871\u2013875 (2018). https:\/\/doi.org\/10.1145\/3236024.3264590","DOI":"10.1145\/3236024.3264590"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Bastani, O., Zhang, X., Solar-Lezama, A.: Probabilistic verification of fairness properties via concentration. PACMPL 3(OOPSLA), 118:1\u2013118:27 (2019). https:\/\/doi.org\/10.1145\/3360544","DOI":"10.1145\/3360544"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Bazille, H., Genest, B., Jegourel, C., Sun, J.: Global PAC bounds for learning discrete time Markov chains. In: Lahiri, S.K., Wang, C. (eds.) Computer Aided Verification, CAV 2020. LNCS, vol. 12225, pp. 304\u2013326. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_17","DOI":"10.1007\/978-3-030-53291-8_17"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M Ben-Ari","year":"1983","unstructured":"Ben-Ari, M., Pnueli, A., Manna, Z.: The temporal logic of branching time. Acta Informatica 20, 207\u2013226 (1983). https:\/\/doi.org\/10.1007\/BF01257083","journal-title":"Acta Informatica"},{"key":"5_CR12","unstructured":"Berk, R., et al.: A convex framework for fair regression. CoRR abs\/1706.02409 (2017). http:\/\/arxiv.org\/abs\/1706.02409"},{"key":"5_CR13","unstructured":"Bojarski, M., et al.: End to end learning for self-driving cars. CoRR (2016).http:\/\/arxiv.org\/abs\/1604.07316"},{"key":"5_CR14","unstructured":"Bolukbasi, T., Chang, K., Zou, J.Y., Saligrama, V., Kalai, A.T.: Man is to computer programmer as woman is to homemaker? debiasing word embeddings. In: Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016 (NeurIPS 2016), Barcelona, Spain, pp. 4349\u20134357 (2016). http:\/\/papers.nips.cc\/paper\/6228-man-is-to-computer-programmer-as-woman-is-to-homemaker-debiasing-word-embeddings"},{"key":"5_CR15","unstructured":"Bunel, R., Lu, J., Turkaslan, I., Torr, P.H.S., Kohli, P., Kumar, M.P.: Branch and bound for piecewise linear neural network verification. J. Mach. Learn. Res. 21, 42:1\u201342:39 (2020). http:\/\/jmlr.org\/papers\/v21\/19-468.html"},{"key":"5_CR16","unstructured":"Cava, W.L., Moore, J.: Genetic programming approaches to learning fair classifiers. In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference (2020)"},{"key":"5_CR17","unstructured":"Dua, D., Graff, C.: Bank marketing dataset at UCI machine learning repository (2017). https:\/\/archive.ics.uci.edu\/ml\/datasets\/Bank+Marketing"},{"key":"5_CR18","unstructured":"Dua, D., Graff, C.: Census income dataset at UCI machine learning repository (2017). https:\/\/archive.ics.uci.edu\/ml\/datasets\/adult"},{"key":"5_CR19","unstructured":"Dua, D., Graff, C.: German credit dataset at UCI machine learning repository (2017). https:\/\/archive.ics.uci.edu\/ml\/datasets\/statlog+(german+credit+data)"},{"key":"5_CR20","unstructured":"Dvijotham, K.D., Stanforth, R., Gowal, S., Qin, C., De, S., Kohli, P.: Efficient neural network verification with exactness characterization. In: Globerson, A., Silva, R. (eds.) Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, 22\u201325 July 2019. Proceedings of Machine Learning Research, vol. 115, pp. 497\u2013507. AUAI Press (2019). http:\/\/proceedings.mlr.press\/v115\/dvijotham20a.html"},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"Dwork, C., Hardt, M., Pitassi, T., Reingold, O., Zemel, R.S.: Fairness through awareness. In: Innovations in Theoretical Computer Science 2012, Cambridge, MA, USA, pp. 214\u2013226 (2012). https:\/\/doi.org\/10.1145\/2090236.2090255","DOI":"10.1145\/2090236.2090255"},{"key":"5_CR22","unstructured":"Ehlers, R.: Formal verification of piece-wise linear feed-forward neural networks. CoRR abs\/1705.01320 (2017). http:\/\/arxiv.org\/abs\/1705.01320"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-030-53288-8_3","volume-title":"Computer Aided Verification","author":"YY Elboher","year":"2020","unstructured":"Elboher, Y.Y., Gottschlich, J., Katz, G.: An abstraction-based framework for neural network verification. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12224, pp. 43\u201365. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_3"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"Feldman, M., Friedler, S.A., Moeller, J., Scheidegger, C., Venkatasubramanian, S.: Certifying and removing disparate impact. In: Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Sydney, NSW, Australia, pp. 259\u2013268 (2015). https:\/\/doi.org\/10.1145\/2783258.2783311","DOI":"10.1145\/2783258.2783311"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Fu, K., Cheng, D., Tu, Y., Zhang, L.: Credit card fraud detection using convolutional neural networks. In: Hirose, A., Ozawa, S., Doya, K., Ikeda, K., Lee, M., Liu, D. (eds.) Neural Information Processing, ICONIP 2016. LNCS, vol. 9949, pp. 483\u2013490. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46675-0_53","DOI":"10.1007\/978-3-319-46675-0_53"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Gale, W.: Good-turing smoothing without tears. J. Quant. Linguist. 217\u201337 (1995)","DOI":"10.1080\/09296179508590051"},{"key":"5_CR27","doi-asserted-by":"publisher","unstructured":"Galhotra, S., Brun, Y., Meliou, A.: Fairness testing: testing software for discrimination. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC\/FSE 2017), Paderborn, Germany, pp. 498\u2013510 (2017). https:\/\/doi.org\/10.1145\/3106237.3106277","DOI":"10.1145\/3106237.3106277"},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Garg, S., Perot, V., Limtiaco, N., Taly, A., Chi, E.H., Beutel, A.: Counterfactual fairness in text classification through robustness. In: Proceedings of the 2019 AAAI\/ACM Conference on AI, Ethics, and Society (AIES 2019), Honolulu, HI, USA, pp. 219\u2013226 (2019). https:\/\/doi.org\/10.1145\/3306618.3317950","DOI":"10.1145\/3306618.3317950"},{"key":"5_CR29","doi-asserted-by":"publisher","unstructured":"Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T.: AI2: safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21\u201323 May 2018, San Francisco, California, USA,pp. 3\u201318. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/SP.2018.00058","DOI":"10.1109\/SP.2018.00058"},{"key":"5_CR30","unstructured":"Goldberger, B., Katz, G., Adi, Y., Keshet, J.: Minimal modifications of deep neural networks using verification. In: Albert, E., Kov\u00e1cs, L. (eds.) LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, 22\u201327 May 2020. EPiC Series in Computing, vol. 73, pp. 260\u2013278. EasyChair (2020). https:\/\/easychair.org\/publications\/paper\/CWhF"},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"Gross, D., Jansen, N., P\u00e9rez, G.A., Raaijmakers, S.: Robustness verification for classifier ensembles. In: Hung, D.V., Sokolsky, O. (eds.) Automated Technology for Verification and Analysis, ATVA 2020. LNCS, vol. 12302, pp. 271\u2013287. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_15","DOI":"10.1007\/978-3-030-59152-6_15"},{"key":"5_CR32","doi-asserted-by":"publisher","unstructured":"Jacoby, Y., Barrett, C., Katz, G.: Verifying recurrent neural networks using invariant inference. In: Hung, D.V., Sokolsky, O. (eds.) Automated Technology for Verification and Analysis, ATVA 2020. LNCS, vol. 12302, pp. 57\u201374. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_3","DOI":"10.1007\/978-3-030-59152-6_3"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Jia, R., Liang, P.: Adversarial examples for evaluating reading comprehension systems. In: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing (EMNLP 2017), Copenhagen, Denmark, pp. 2021\u20132031 (2017). https:\/\/doi.org\/10.18653\/v1\/d17-1215","DOI":"10.18653\/v1\/d17-1215"},{"key":"5_CR34","doi-asserted-by":"publisher","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) Computer Aided Verification, CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"5_CR35","doi-asserted-by":"publisher","unstructured":"Katz, G., et al.: The marabou framework for verification and analysis of deep neural networks. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification, CAV 2019. LNCS, vol. 11561, pp. 443\u2013452. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_26","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"5_CR36","unstructured":"Kearns, M.J., Neel, S., Roth, A., Wu, Z.S.: Preventing fairness gerrymandering: auditing and learning for subgroup fairness. In: Dy, J.G., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan, Stockholm, Sweden, 10\u201315 July 2018. Proceedings of Machine Learning Research, vol. 80, pp. 2569\u20132577. PMLR (2018). http:\/\/proceedings.mlr.press\/v80\/kearns18a.html"},{"key":"5_CR37","doi-asserted-by":"publisher","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. In: Proceedings of ICNN\u201995 - International Conference on Neural Networks, vol. 4, pp. 1942\u20131948 (1995). https:\/\/doi.org\/10.1109\/ICNN.1995.488968","DOI":"10.1109\/ICNN.1995.488968"},{"key":"5_CR38","unstructured":"Ko, C., Lyu, Z., Weng, L., Daniel, L., Wong, N., Lin, D.: POPQORN: quantifying robustness of recurrent neural networks. In: Chaudhuri, K., Salakhutdinov, R. (eds.) Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9\u201315 June 2019, Long Beach, California, USA. Proceedings of Machine Learning Research, vol. 97, pp. 3468\u20133477. PMLR (2019). http:\/\/proceedings.mlr.press\/v97\/ko19a.html"},{"key":"5_CR39","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Advances and challenges of probabilistic model checking. In: 2010 48th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2010 (2010). https:\/\/doi.org\/10.1109\/ALLERTON.2010.5707120","DOI":"10.1109\/ALLERTON.2010.5707120"},{"key":"5_CR40","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S., et al.: Statistical model checking: an overview. In: Barringer, H. (ed.) Runtime Verification, pp. 122\u2013135. Springer, Berlin Heidelberg, Berlin, Heidelberg (2010)"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Li, J., Ji, S., Du, T., Li, B., Wang, T.: Textbugger: generating adversarial text against real-world applications. In: 26th Annual Network and Distributed System Security Symposium (NDSS 2019), San Diego, California, USA (2019). https:\/\/www.ndss-symposium.org\/ndss-paper\/textbugger-generating-adversarial-text-against-real-world-applications\/","DOI":"10.14722\/ndss.2019.23138"},{"issue":"2","key":"5_CR42","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/TIT.1982.1056489","volume":"28","author":"SP Lloyd","year":"1982","unstructured":"Lloyd, S.P.: Least squares quantization in PCM. IEEE Trans. Inf. Theor. 28(2), 129\u2013136 (1982). https:\/\/doi.org\/10.1109\/TIT.1982.1056489","journal-title":"IEEE Trans. Inf. Theor."},{"key":"5_CR43","doi-asserted-by":"publisher","unstructured":"Ma, P., Wang, S., Liu, J.: Metamorphic testing and certified mitigation of fairness violations in NLP models. In: Bessiere, C. (ed.) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 458\u2013465 (2020). https:\/\/doi.org\/10.24963\/ijcai.2020\/64","DOI":"10.24963\/ijcai.2020\/64"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Pennington, J., Socher, R., Manning, C.D.: Glove: global vectors for word representation. In: Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP 2014), 25\u201329 October 2014, Doha, Qatar, pp. 1532\u20131543 (2014). https:\/\/www.aclweb.org\/anthology\/D14-1162\/","DOI":"10.3115\/v1\/D14-1162"},{"key":"5_CR45","unstructured":"Pham, L.H., Li, J., Sun, J.: SOCRATES: towards a unified platform for neural network verification. CoRR abs\/2007.11206 (2020). https:\/\/arxiv.org\/abs\/2007.11206"},{"key":"5_CR46","unstructured":"\u0158eh\u016f\u0159ek, R., Sojka, P.: Software framework for topic modelling with large Corpora. In: Proceedings of the LREC 2010 Workshop on New Challenges for NLP Frameworks, Valletta, Malta, pp. 45\u201350 (2010). http:\/\/is.muni.cz\/publication\/884893\/en"},{"key":"5_CR47","doi-asserted-by":"publisher","unstructured":"Schroff, F., Kalenichenko, D., Philbin, J.: Facenet: a unified embedding for face recognition and clustering. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2015), Boston, MA, USA, pp. 815\u2013823 (2015). https:\/\/doi.org\/10.1109\/CVPR.2015.7298682","DOI":"10.1109\/CVPR.2015.7298682"},{"key":"5_CR48","doi-asserted-by":"publisher","unstructured":"Singh, G., Gehr, T., P\u00fcschel, M., Vechev, M.T.: An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3(POPL), 41:1\u201341:30 (2019). https:\/\/doi.org\/10.1145\/3290354","DOI":"10.1145\/3290354"},{"key":"5_CR49","unstructured":"Sotoudeh, M., Thakur, A.: Correcting deep neural networks with small, generalizing patches. In: Workshop on Safety and Robustness in Decision Making (2019)"},{"key":"5_CR50","unstructured":"Sun, B., Sun, J., Dai, T., Zhang, L.: Probabilistic verification of neural networks against group fairness. CoRR abs\/2107.08362 (2021). https:\/\/arxiv.org\/abs\/2107.08362"},{"key":"5_CR51","doi-asserted-by":"crossref","unstructured":"Thomas, P.S., da Silva, B.C., Barto, A.G., Giguere, S., Brun, Y., Brunskill, E.: Preventing undesirable behavior of intelligent machines. Science 366(6468), 999\u20131004 (2019). https:\/\/science.sciencemag.org\/content\/366\/6468\/999","DOI":"10.1126\/science.aag3311"},{"key":"5_CR52","unstructured":"Tjeng, V., Xiao, K.Y., Tedrake, R.: Evaluating robustness of neural networks with mixed integer programming. In: 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, 6\u20139 May 2019 (2019). https:\/\/openreview.net\/forum?id=HyGIdiRqtm"},{"key":"5_CR53","doi-asserted-by":"publisher","unstructured":"Tram\u00e8r, F., et al.: Fairtest: discovering unwarranted associations in data-driven applications. In: 2017 IEEE European Symposium on Security and Privacy (EuroS and P 2017), Paris, France, pp. 401\u2013416 (2017). https:\/\/doi.org\/10.1109\/EuroSP.2017.29","DOI":"10.1109\/EuroSP.2017.29"},{"key":"5_CR54","doi-asserted-by":"publisher","unstructured":"Udeshi, S., Arora, P., Chattopadhyay, S.: Automated directed fairness testing. In: Huchard, M., K\u00e4stner, C., Fraser, G. (eds.) Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, 3\u20137 September 2018, pp. 98\u2013108. ACM (2018). https:\/\/doi.org\/10.1145\/3238147.3238165","DOI":"10.1145\/3238147.3238165"},{"key":"5_CR55","doi-asserted-by":"crossref","unstructured":"Veale, M., Binns, R.: Fairer machine learning in the real world: mitigating discrimination without collecting sensitive data. Big Data Soc. 4 (2017)","DOI":"10.31235\/osf.io\/ustxg"},{"key":"5_CR56","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.neubiorev.2017.01.002","volume":"74","author":"S Vieira","year":"2017","unstructured":"Vieira, S., Pinaya, W.H., Mechelli, A.: Using deep learning to investigate the neuroimaging correlates of psychiatric and neurological disorders: methods and applications. Neurosci. Biobehav. Rev. 74, 58\u201375 (2017). https:\/\/doi.org\/10.1016\/j.neubiorev.2017.01.002","journal-title":"Neurosci. Biobehav. Rev."},{"key":"5_CR57","unstructured":"Wang, S., Pei, K., Whitehouse, J., Yang, J., Jana, S.: Formal security analysis of neural networks using symbolic intervals. In: Enck, W., Felt, A.P. (eds.) 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, 15\u201317 August 2018, pp. 1599\u20131614. USENIX Association (2018). https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/wang-shiqi"},{"key":"5_CR58","doi-asserted-by":"crossref","unstructured":"Zhang, P., et al.: White-box fairness testing through adversarial sampling. In: Proceedings of the 42th International Conference on Software Engineering (ICSE 2020), Seoul, South Korea (2020)","DOI":"10.1145\/3377811.3380331"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-90870-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T00:07:59Z","timestamp":1636502879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-90870-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030908690","9783030908706"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-90870-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"10 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2021.csp.escience.cn\/dct\/page\/1","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"131","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Additionally, this includes 4 invited full papers.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}