no code implementations • ICLR 2018 • Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevich, Timon Gehr, Martin Vechev
We present a novel approach for training neural abstract architectures which in- corporates (partial) supervision over the machine’s interpretable components.
