Specialized Neural Network Pruning for Boolean Abstractions.

Jarren Briscoe, Brian W. Rague, Kyle Dillon Feuz, Robert Ball

Browse the full IC3K paper archive.