94 citations · 107 across the 3 of their papers we have counts for
1 paper · 1 filter
Adnan Darwiche, Auguste Hirth
Recent work has shown that some common machine learning classifiers can be compiled into Boolean circuits that have the same input-output behavior. We present a theory for unveilin…