eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks
International Conference on Information Technology - New Generations (ITNG), 2025
eXpLogic provides saliency explanations for DiffLogic networks by modeling how learned logic gates interact. Drawing on circuit analysis, the method traces which input patterns most influence node activations and downstream predictions. Evaluations against gradient-based explanations show that eXpLogic better anticipates score changes and enables aggressive model compression—reducing parameters by 87% and improving inference latency with minimal accuracy impact.
@inproceedings{wormald2025explogic,
title={eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks},
author={Wormald, Stephen and Koblah, David and Maldaner, Matheus Kunzler and Forte, Domenic and Woodard, Damon L.},
booktitle={Proceedings of the International Conference on Information Technology: New Generations},
year={2025}
}