Jarren Briscoe, Brian Rague, Kyle Feuz, Robert Ball. Specialized Neural Network Pruning for Boolean Abstractions. In David Aveiro, Jan L. G. Dietz, Joaquim Filipe, editors, Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, Volume 2: KEOD, Online Streaming, October 25-27, 2021. pages 178-185, SCITEPRESS, 2021. [doi]
Abstract is missing.