Eventizing Traditionally Opaque Binary Neural Networks as 1-safe Petri net Models

Mohamed Tarraf, Alex Chan, Alex Yakovlev +1

Binary Neural Networks (BNNs) offer a low-complexity and energy-efficient alternative to traditional full-precision neural networks by constraining their weights and activations to…