2507.02585

Total: 1

#1 Scalable Interconnect Learning in Boolean Networks [PDF] [Copy] [Kimi1] [REL]

Authors: Fabian Kresse, Emily Yu, Christoph H. Lampert

Learned Differentiable Boolean Logic Networks (DBNs) already deliver efficient inference on resource-constrained hardware. We extend them with a trainable, differentiable interconnect whose parameter count remains constant as input width grows, allowing DBNs to scale to far wider layers than earlier learnable-interconnect designs while preserving their advantageous accuracy. To further reduce model size, we propose two complementary pruning stages: an SAT-based logic equivalence pass that removes redundant gates without affecting performance, and a similarity-based, data-driven pass that outperforms a magnitude-style greedy baseline and offers a superior compression-accuracy trade-off.

Subjects: Machine Learning , Logic in Computer Science

Publish: 2025-07-03 12:45:45 UTC