Login / Signup
Type inference in mathematics
Jeremy Avigad
Published in:
CoRR (2011)
Keyphrases
</>
data sets
probabilistic inference
neural network
real world
bayesian networks
evolutionary algorithm
real time
social networks
belief networks