Christian Szegedy

deep neural network (5) deep learning (3) theorem proving (3) image classification (3) object detection (3) convolutional neural network (3) formal verification (2) higher-order logic (2) neural network (2) computer vision (2) automated reasoning (2) automated theorem proving (2) inception architecture (2) language modeling (1) knowledge representation (1) semantic segmentation (1) batch normalization (1) reinforcement learning (1) representation learning (1) efficient computing (1)