NIPS Proceedings
β
Books
Geoffrey Irving
1 Paper
DeepMath - Deep Sequence Models for Premise Selection
(2016)