1. Optuna
2. Aws Albarghouthi. 2021. Introduction to Neural Network Verification. verifieddeeplearning.com. arxiv:2109.10317. http://verifieddeeplearning.com Aws Albarghouthi. 2021. Introduction to Neural Network Verification. verifieddeeplearning.com. arxiv:2109.10317. http://verifieddeeplearning.com
3. Javier Alvarez-Valle Pratik Bhatu Nishanth Chandran Divya Gupta Aditya Nori Aseem Rastogi Mayank Rathee Rahul Sharma and Shubham Ugare. 2020. Secure Medical Image Analysis with CrypTFlow. arxiv:2012.05064. Javier Alvarez-Valle Pratik Bhatu Nishanth Chandran Divya Gupta Aditya Nori Aseem Rastogi Mayank Rathee Rahul Sharma and Shubham Ugare. 2020. Secure Medical Image Analysis with CrypTFlow. arxiv:2012.05064.
4. Artificial neural networks in medical diagnosis;Amato Filippo;Journal of Applied Biomedicine,2013
5. Greg Anderson , Shankara Pailoor , Isil Dillig , and Swarat Chaudhuri . 2019 . Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness . In Proc. Programming Language Design and Implementation (PLDI). Greg Anderson, Shankara Pailoor, Isil Dillig, and Swarat Chaudhuri. 2019. Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. In Proc. Programming Language Design and Implementation (PLDI).