{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T06:44:46Z","timestamp":1773384286325,"version":"3.50.1"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031445040","type":"print"},{"value":"9783031445057","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-44505-7_16","type":"book-chapter","created":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T18:03:41Z","timestamp":1698170621000},"page":"223-238","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-Based Feature Selection for\u00a0Neural Networks: A Mixed-Integer Programming Approach"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6352-0968","authenticated-orcid":false,"given":"Shudian","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2848-2809","authenticated-orcid":false,"given":"Calvin","family":"Tsay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0299-5745","authenticated-orcid":false,"given":"Jan","family":"Kronqvist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,25]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10107-020-01474-5","volume":"183","author":"R Anderson","year":"2020","unstructured":"Anderson, R., Huchette, J., Ma, W., Tjandraatmadja, C., Vielma, J.P.: Strong mixed-integer programming formulations for trained neural networks. Math. Program. 183(1), 3\u201339 (2020)","journal-title":"Math. Program."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Botoeva, E., Kouvaros, P., Kronqvist, J., Lomuscio, A., Misener, R.: Efficient verification of Relu-based neural networks via dependency analysis. In: Proceedings of the Conference on AAAI Artificial Intelligent, vol. 34, pp. 3291\u20133299 (2020)","DOI":"10.1609\/aaai.v34i04.5729"},{"issue":"349","key":"16_CR3","first-page":"1","volume":"23","author":"F Ceccon","year":"2022","unstructured":"Ceccon, F.: OMLT: optimization & machine learning toolkit. J. Mach. Learn. Res. 23(349), 1\u20138 (2022)","journal-title":"J. Mach. Learn. Res."},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.compeleceng.2013.11.024","volume":"40","author":"G Chandrashekar","year":"2014","unstructured":"Chandrashekar, G., Sahin, F.: A survey on feature selection methods. Comput. Electr. Eng. 40(1), 16\u201328 (2014)","journal-title":"Comput. Electr. Eng."},{"key":"16_CR5","unstructured":"De Palma, A., Behl, H.S., Bunel, R., Torr, P.H., Kumar, M.P.: Scaling the convex barrier with sparse dual algorithms (2021). arXiv:2101.05844"},{"issue":"6","key":"16_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/MSP.2012.2211477","volume":"29","author":"L Deng","year":"2012","unstructured":"Deng, L.: The mnist database of handwritten digit images for machine learning research. IEEE Signal Process. Mag. 29(6), 141\u2013142 (2012)","journal-title":"IEEE Signal Process. Mag."},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/s10601-018-9285-6","volume":"23","author":"M Fischetti","year":"2018","unstructured":"Fischetti, M., Jo, J.: Deep neural networks and mixed integer linear optimization. Constraints 23(3), 296\u2013309 (2018)","journal-title":"Constraints"},{"key":"16_CR8","unstructured":"Ghojogh, B., et al.: Feature selection and feature extraction in pattern analysis: a literature review (2019). arXiv preprint"},{"key":"16_CR9","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples (2014). arXiv:1412.6572"},{"key":"16_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2019.106580","volume":"131","author":"B Grimstad","year":"2019","unstructured":"Grimstad, B., Andersson, H.: Relu networks as surrogate models in mixed-integer linear programs. Comput. Chem. Eng. 131, 106580 (2019)","journal-title":"Comput. Chem. Eng."},{"key":"16_CR11","unstructured":"Gurobi Optimization, LLC: Gurobi Optimizer Reference Manual (2022). https:\/\/www.gurobi.com"},{"key":"16_CR12","unstructured":"Hassibi, B., Stork, D.: Second order derivatives for network pruning: optimal brain surgeon. In: Hanson, S., Cowan, J., Giles, C. (eds.) Proceedings of NIPS 1992, vol. 5 (1992)"},{"key":"16_CR13","unstructured":"Hinton, G.E., Srivastava, N., Krizhevsky, A., Sutskever, I., Salakhutdinov, R.R.: Improving neural networks by preventing co-adaptation of feature detectors (2012). arXiv preprint"},{"key":"16_CR14","unstructured":"Huchette, J., Mu\u00f1oz, G., Serra, T., Tsay, C.: When deep learning meets polyhedral theory: A survey (2023). arXiv:2305.00241"},{"key":"16_CR15","unstructured":"Kingma, D.P., Salimans, T., Welling, M.: Variational dropout and the local reparameterization trick, vol. 28 (2015)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-030-78230-6_19","volume-title":"Integration of Constraint Programming, Artificial Intelligence, and Operations Research","author":"J Kronqvist","year":"2021","unstructured":"Kronqvist, J., Misener, R., Tsay, C.: Between steps: intermediate relaxations between big-M and convex hull formulations. In: Stuckey, P.J. (ed.) CPAIOR 2021. LNCS, vol. 12735, pp. 299\u2013314. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78230-6_19"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Kronqvist, J., Misener, R., Tsay, C.: P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints (2022). arXiv:2202.05198","DOI":"10.1007\/978-3-030-78230-6_19"},{"key":"16_CR18","unstructured":"Labach, A., Salehinejad, H., Valaee, S.: Survey of dropout methods for deep neural networks (2019). arXiv:1904.13310"},{"key":"16_CR19","unstructured":"LeCun, Y., Denker, J., Solla, S.: Optimal brain damage. In: Touretzky, D. (ed.) Proceedings of NIPS 1989, vol. 2 (1989)"},{"issue":"6","key":"16_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3136625","volume":"50","author":"J Li","year":"2017","unstructured":"Li, J., et al.: Feature selection: a data perspective. ACM Comput. Surv. 50(6), 1\u201345 (2017)","journal-title":"ACM Comput. Surv."},{"key":"16_CR21","unstructured":"Liu, B., Wang, M., Foroosh, H., Tappen, M., Pensky, M.: Sparse convolutional neural networks. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 806\u2013814 (2015)"},{"key":"16_CR22","unstructured":"Lomuscio, A., Maganti, L.: An approach to reachability analysis for feed-forward ReLU neural networks (2017). arXiv:1706.07351"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1016\/j.neucom.2017.07.028","volume":"272","author":"M Manng\u00e5rd","year":"2018","unstructured":"Manng\u00e5rd, M., Kronqvist, J., B\u00f6ling, J.M.: Structural learning in artificial neural networks using sparse optimization. Neurocomputing 272, 660\u2013667 (2018)","journal-title":"Neurocomputing"},{"key":"16_CR24","unstructured":"Paszke, A., et al.: Pytorch: an imperative style, high-performance deep learning library. In: Proceedings of NeurIPS 2019, pp. 8024\u20138035. Curran Associates, Inc. (2019)"},{"key":"16_CR25","unstructured":"Perakis, G., Tsiourvas, A.: Optimizing objective functions from trained ReLU neural networks via sampling (2022). arXiv:2205.14189"},{"issue":"12","key":"16_CR26","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/3381831","volume":"63","author":"R Schwartz","year":"2020","unstructured":"Schwartz, R., Dodge, J., Smith, N.A., Etzioni, O.: Green AI. Commun. ACM 63(12), 54\u201363 (2020)","journal-title":"Commun. ACM"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-030-58942-4_27","volume-title":"Integration of Constraint Programming, Artificial Intelligence, and Operations Research","author":"T Serra","year":"2020","unstructured":"Serra, T., Kumar, A., Ramalingam, S.: Lossless compression of deep neural networks. In: Hebrard, E., Musliu, N. (eds.) CPAIOR 2020. LNCS, vol. 12296, pp. 417\u2013430. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58942-4_27"},{"key":"16_CR28","unstructured":"Tjeng, V., Xiao, K., Tedrake, R.: Evaluating robustness of neural networks with mixed integer programming (2017). arXiv:1711.07356"},{"key":"16_CR29","unstructured":"Tsay, C., Kronqvist, J., Thebelt, A., Misener, R.: Partition-based formulations for mixed-integer optimization of trained ReLU neural networks. In: Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P., Vaughan, J.W. (eds.) Proceedings of NeurIPS 2021, vol. 34, pp. 3068\u20133080. Curran Associates, Inc. (2021)"},{"issue":"1","key":"16_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1137\/130915303","volume":"57","author":"JP Vielma","year":"2015","unstructured":"Vielma, J.P.: Mixed integer linear programming formulation techniques. SIAM Rev. 57(1), 3\u201357 (2015)","journal-title":"SIAM Rev."},{"key":"16_CR31","unstructured":"Wan, L., Zeiler, M., Zhang, S., Le Cun, Y., Fergus, R.: Regularization of neural networks using DropConnect. In: Proceedings of the 30th ICML, pp. 1058\u20131066. PMLR (2013)"},{"key":"16_CR32","unstructured":"Wang, K., Lozano, L., Cardonha, C., Bergman, D.: Acceleration techniques for optimization over trained neural network ensembles (2021). arXiv:2112.07007"},{"key":"16_CR33","unstructured":"Wen, W., Wu, C., Wang, Y., Chen, Y., Li, H.: Learning structured sparsity in deep neural networks. In: Lee, D., Sugiyama, M., Luxburg, U., Guyon, I., Garnett, R. (eds.) Proceedings of NeurIPS 2016, vol. 29 (2016)"},{"key":"16_CR34","unstructured":"Xiao, H., Rasul, K., Vollgraf, R.: Fashion-MNIST: a novel image dataset for benchmarking machine learning algorithms (2017). arXiv:1708.07747"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Yang, D., Balaprakash, P., Leyffer, S.: Modeling design and control problems involving neural network surrogates. Comput. Optim. Appl. 1\u201342 (2022)","DOI":"10.1007\/s10589-022-00404-9"},{"key":"16_CR36","unstructured":"Yu, X., Serra, T., Ramalingam, S., Zhe, S.: The combinatorial brain surgeon: pruning weights that cancel one another in neural networks. In: Chaudhuri, K., Jegelka, S., Song, L., Szepesvari, C., Niu, G., Sabato, S. (eds.) Proceedings of the 39th ICML, vol. 162, pp. 25668\u201325683. PMLR (2022)"},{"issue":"2","key":"16_CR37","doi-asserted-by":"publisher","first-page":"56","DOI":"10.38094\/jastt1224","volume":"1","author":"R Zebari","year":"2020","unstructured":"Zebari, R., Abdulazeez, A., Zeebaree, D., Zebari, D., Saeed, J.: A comprehensive review of dimensionality reduction techniques for feature selection and feature extraction. J. Appl. Sci. Technol. Trends. 1(2), 56\u201370 (2020)","journal-title":"J. Appl. Sci. Technol. Trends."}],"container-title":["Lecture Notes in Computer Science","Learning and Intelligent Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-44505-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T18:05:50Z","timestamp":1698170750000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-44505-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031445040","9783031445057"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-44505-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"25 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Learning and Intelligent Optimization","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lion2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lion17.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"83","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":"0","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":"48% - 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":"4.7","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":"4.4","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)"}}]}}