Auditing AI models for Verified Deployment under Semantic Specifications.

Homanga Bharadhwaj De-An Huang Chaowei Xiao Anima Anandkumar Animesh Garg

Published in: CoRR (2021)

Keyphrases

artificial intelligence
complex systems
information systems
neural network
high level
natural language
prior knowledge
statistical models
data sets
learning algorithm
knowledge representation
domain specific
parameter estimation
semantic information
reactive systems