Skip to content
conftrace_

model compactness

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logic circuit (1) boolean logic (1) logic gate (1) posterior uncertainty (1) bayesian neural network (1) convolutional neural network (1) horseshoe prior (1) formal verification (1) variational inference (1) image classification (1)

Papers

Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form IJCAI 2024 Structured Variational Learning of Bayesian Neural Networks with Horseshoe Priors ICML 2018