Danesh MH. Reducing Neural Network Parameter Initialization Into an SMT Problem (Student Abstract). AAAI [Internet]. 2021May18 [cited 2024Apr.19];35(18):15775-6. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/17884