{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T08:07:42Z","timestamp":1761552462021,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032090072"},{"type":"electronic","value":"9783032090089"}],"license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>AI will increasingly impact our future. Let\u2019s work together to make it safe and bright.<\/jats:p>\n                  <jats:p>My personal AI mission: To advance the field of artificial intelligence (AI) by developing novel machine learning techniques and formal methods that ensure the correctness, security, and trustworthiness of AI systems. By doing so, I hope to contribute to a future where AI is widely adopted and benefits society without compromising safety, privacy, or ethical values.<\/jats:p>","DOI":"10.1007\/978-3-032-09008-9_14","type":"book-chapter","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:09Z","timestamp":1761551769000},"page":"124-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Let\u2019s Talk AI with Computer Science Expert Daniel Neider"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Neider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"14_CR1","unstructured":"Barocas, S., Hardt, M., Narayanan, A.: Fairness and Machine Learning: Limitations and Opportunities. MIT Press (2023)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6ing, B., Roy, R., M\u00fcller, E., Neider, D.: Quality guarantees for autoencoders via unsupervised adversarial attacks. In: Hutter, F., et al. (eds.) ECML PKDD 2020. LNCS, vol. 12458, pp. 206\u2013222. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-67661-2_13"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Bollig, B., Leucker, M., Neider, D.: A survey of model learning techniques for recurrent neural networks. In: Jansen, N., et al. (eds.) A Journey from Process Algebra via Timed Automata to Model Learning. LNCS, vol. 13560, pp. 81\u201397. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-67661-2_13","DOI":"10.1007\/978-3-030-67661-2_13"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Khmelnitsky, I., et al.: Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Software Tools Technol. Transf. 25, 341\u2013354 (2022)","DOI":"10.1007\/s10009-022-00684-w"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Khmelnitsky, I., et al.: Property-directed verification and robustness certification of recurrent neural networks. In: Hou, Z., Ganesh, V. (eds.) ATVA 2021. LNCS, vol. 12971, pp. 364\u2013380. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88885-5_24","DOI":"10.1007\/978-3-030-88885-5_24"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Leucker, M.: Formal verification of neural networks? In: Carvalho, G., Stolz, V. (eds.) SBMF 2020. LNCS, vol. 12475, pp. 3\u20137. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63882-5_1","DOI":"10.1007\/978-3-030-63882-5_1"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"709","DOI":"10.2307\/258792","volume":"20","author":"RC Mayer","year":"1995","unstructured":"Mayer, R.C., Davis, J.H., Schoorman, F.D.: An integrative model of organizational trust. Acad. Manag. Rev. 20, 709\u2013734 (1995)","journal-title":"Acad. Manag. Rev."},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Neider, D., Johnson, T.T.: Track C1: safety verification of deep neural networks (DNNs). In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 217\u2013224. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_12","DOI":"10.1007\/978-3-031-46002-9_12"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Schramowski, P., Brack, M., Deiseroth, B., Kersting, K.: Safe latent diffusion: mitigating inappropriate degeneration in diffusion models. In: Proceedings of the IEEE\/CVF Conf. on Computer Vision and Pattern Recognition (CVPR 2023), pp. 22522\u201322531. IEEE (2023)","DOI":"10.1109\/CVPR52729.2023.02157"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: Computing machinery and intelligence. Mind LIX (236), pp. 433\u2013460 (1950)","DOI":"10.1093\/mind\/LIX.236.433"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Xie, X., Kersting, K., Neider, D.: Neuro-symbolic verification of deep neural networks. In: 31st Intl. Joint Conf. on Artificial Intelligence (IJCAI 2022), pp. 3622\u20133628. Springer, Cham (2022)","DOI":"10.24963\/ijcai.2022\/503"}],"container-title":["Lecture Notes in Computer Science","Let\u2019s Talk AI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09008-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T07:56:11Z","timestamp":1761551771000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09008-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"ISBN":["9783032090072","9783032090089"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09008-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"28 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}