Popular repositories Loading
-
aaai-2021-tutorial
aaai-2021-tutorial PublicAnupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang
-
lib-attribution
lib-attribution PublicLibrary providing attribution methods for Keras models. Supports Tensorflow and Theano backends.
-
-
artifact-proxyuse-ccs2017
artifact-proxyuse-ccs2017 PublicSnapshot of the proxy-use-related implementations and experiments/results presented in the CCS 2017 paper.
Repositories
Showing 10 of 22 repositories
- verified_rup Public
Checks DRUP & DRAT proofs against DIMACS source. Extracted from verified Why3 code.
cmu-transparency/verified_rup’s past year of commit activity - self-correcting-networks Public
cmu-transparency/self-correcting-networks’s past year of commit activity - lib-attribution Public
Library providing attribution methods for Keras models. Supports Tensorflow and Theano backends.
cmu-transparency/lib-attribution’s past year of commit activity - aaai-2021-tutorial Public
Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang
cmu-transparency/aaai-2021-tutorial’s past year of commit activity