arXiv AI By Tirtharaj Dash

BIRDNet: Mining and Encoding Boolean Implication Knowledge Graphs as Interpretable Deep Neural Networks

Read the original on arXiv AI →

BIRDNet is a neural network that mines Boolean implication relationships (BIRs) from tabular data and encodes them as a sparse, interpretable architecture where each hidden unit represents a mined rule connecting two features. The design yields a model that is at most 2/d of the weights active per layer and retains symbolic identities for each unit, allowing direct rule extraction without surrogate models. Experiments on six transcriptomic and proteomic datasets show BIRDNet achieves AUROC within 0.02 of the best dense baseline while using up to 95× fewer active parameters, and its first‑layer rules align with known biological signatures.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv Machine Learning
3d ago

Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks

The paper introduces a flexible symbolic framework that efficiently computes logical explanations for deep neural networks by parameterizing explanations with internal neuron activations and leveraging general-purpose logical engines like SMT solvers. Unlike previous methods that rely on specialized verifiers or are limited to individual input features, this approach is not restricted in shape and can scale to deep architectures. Experiments on image recognition and medical benchmarks demonstrate improved computational efficiency and the ability to explain networks that were previously intractable for logic-based methods.

By Tom\'a\v{s} Kol\'arik, Faezeh Labbaf, Fabrizio Leopardi, Grigory Fedyukovich, Michael Wand, Natasha Sharygina