On Training Neurons with Bounded Compilations

Download PDF
Open Webpage

Lance Kennedy, Issouf Kindo, Arthur Choi

Published: 01 Jan 2023, Last Modified: 16 Oct 2025KR 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Knowledge compilation offers a formal approach to explaining and verifying the behavior of machine learning systems, such as neural networks. Unfortunately, compiling even an individual neuron int...