Premise selection with neural networks and distributed representation of features

Built on

G. Hinton, A. Krizhevsky, R. Salakhutdinov, N. Srivastava, I. Sutskever
1958
Earlier work this paper cites.
Y. Bengio, R. Ducharme, P. Vincent, Ch. Jauvin
2003
Earlier work this paper cites.
G. Gonthier
2008
Earlier work this paper cites.
Ch.-Y. Liou, J.-Ch. Huang W-Ch. Yang
2008
Earlier work this paper cites.
L. van der Maaten, G. Hinton
2008
Earlier work this paper cites.
Ch.-Y. Liou, J.-Ch. Huang W-Ch. Yang
2014
Earlier work this paper cites.
F. Chollet
2015
Earlier work this paper cites.
K. He, X. Zhang, Sh. Ren, J. Sun
Original
2015
Earlier work this paper cites.

C. Kaliszyk, J. Urban
2015
Cited alongside, same era.
D. Kingma, J. Ba
Original
2015
Cited alongside, same era.
A. A. Alemi, F. Chollet, N. Een, G. Irving, Ch. Szegedy, J. Urban
2016
Cited alongside, same era.
G. Hinton
2016
Cited alongside, same era.
D. Whalen
Original
2016
Cited alongside, same era.
M. Allamanis, P. Chanthirasegaran, P. Kohli, Ch. Sutton
Original
2017
Cited alongside, same era.

Ch.-H. Cai, D. Ke, Y. Xu, K. Su
Original
2017
Later among the works it cites.
P. Chojecki
2017
Later among the works it cites.
F. Chollet, C. Kaliszyk, Ch. Szegedy
Original
2017
Later among the works it cites.
J. Deng, J. Wang, M. Wang, Y. Tang
2017
Later among the works it cites.
T. Hales et al
2017
Later among the works it cites.
K. Peng, D. Ma
2017
Later among the works it cites.
F. Chollet
2018
Closest in time.