Login / Signup
DeepMath - Deep Sequence Models for Premise Selection.
Geoffrey Irving
Christian Szegedy
Alexander A. Alemi
Niklas Eén
François Chollet
Josef Urban
Published in:
NIPS (2016)
Keyphrases
</>
statistical models
probabilistic model
data sets
databases
data mining
face recognition
bayesian networks
multi agent systems
mobile robot
probability distribution
machine learning algorithms
experimental data