2.3k citations · 2.4k across the 17 of their papers we have counts for
1 paper · 2 filters
Arthur Choi, Andy Shih, Anchal Goyanka +1
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 fa…