Skip to content
conftrace_

logic gate

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

boolean logic (1) logic circuit (1) model compactness (1) convolutional neural network (1) formal verification (1) image classification (1) neural network architecture (1)

Papers

Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form IJCAI 2024