The notion of replicable algorithms was introduced in Impagliazzo et al....
We introduce the notion of a reproducible algorithm in the context of
le...
We study the problem of boosting the accuracy of a weak learner in the
(...
The Stabbing Planes proof system was introduced to model the reasoning
c...
Computational pseudorandomness studies the extent to which a random vari...
We introduce and develop a new semi-algebraic proof system, called Stabb...