Partially definable forcing and bounded arithmetic.

Albert Atserias Moritz Müller

Published in: Arch. Math. Log. (2015)

Keyphrases

data sets
machine learning
transitive closure
asymptotically optimal
arithmetic operations
neural network
learning algorithm
case study
similarity measure
multiscale
mobile robot
first order logic