Learning to Decipher the Heap for Program Verification

Progressive Growing of GANs for Improved Quality, Stability, and Variation

Very risky business: the pros and cons of insurance companies embracing artificial intelligence

Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling

Pixel Recurrent Neural Networks

Dueling Network Architectures for Deep Reinforcement Learning

Dynamic Topic Models

Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding

Neural Programmer-Interpreters

Algorithms for Non-negative Matrix Factorization