M. Germain, K. Gregor, I. Murray, and H. Larochelle. (2015)cite arxiv:1502.03509Comment: 9 pages and 1 page of supplementary material. Updated to match published version.
M. Germain, K. Gregor, I. Murray, and H. Larochelle. (2015)cite arxiv:1502.03509Comment: 9 pages and 1 page of supplementary material. Updated to match published version.
P. Murray-Rust. Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference, Hagenberg, Austria, Springer-Verlag, (2007)