AUTOMATIC GENERATION OF IMAGES SATISFYING SPECIFIED NEURAL NETWORK CLASSIFIER PROPERTIES
展开▼
机译:自动生成满足指定的神经网络分类器属性的图像
展开▼
页面导航
摘要
著录项
相似文献
摘要
Described is a system for automatically generating images that satisfy specific image properties. Using a code parser component, a tensor expression intermediate representation (IR) of a deep neural network code is produced. A specification describing a set of image properties is parsed in a fixed formal syntax. The tensor expression IR and the specification is input into a rewriting and analysis engine. The rewriting and analysis engine queries an external solver to obtain pixel values satisfying the specification. When pixel values satisfying the specification can be found in a fixed time period, the rewriting and analysis engine combines the pixel values into an image that satisfies the specification and outputs the image.
展开▼