no code implementations • 3 Jul 2020 • Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche
Recent work has shown that the input-output behavior of some machine learning systems can be captured symbolically using Boolean expressions or tractable Boolean circuits, which facilitates reasoning about the behavior of these systems.