TY  - RPRT
TI  - Auditing AI models for Verified Deployment under Semantic Specifications
AU  - Homanga Bharadhwaj
AU  - De-An Huang
AU  - Chaowei Xiao
AU  - Anima Anandkumar
AU  - Animesh Garg
PY  - 2021
UR  - https://arxiv.org/abs/2109.12456
ID  - 2109.12456
ER  -