no code implementations • 22 Oct 2020 • Michael L. Wick, Kate Silverstein, Jean-Baptiste Tristan, Adam Pocock, Mark Johnson
Indeed, self-supervised language models trained on "positive" examples of English text generalize in desirable ways to many natural language tasks.
no code implementations • 14 Jul 2020 • Jean-Baptiste Tristan, Joseph Tassarotti, Koundinya Vajjha, Michael L. Wick, Anindya Banerjee
Proof assistants can be used to formally verify machine learning systems by constructing machine checked proofs of correctness that rule out such bugs.
no code implementations • 14 Apr 2016 • Farahnaz Ahmed Wick, Michael L. Wick, Marc Pomplun
For example, we find that the networks accurately perceive color in the periphery, even when 75\% of the input is achromatic.
no code implementations • NeurIPS 2011 • Michael L. Wick, Andrew McCallum
Traditional approaches to probabilistic inference such as loopy belief propagation and Gibbs sampling typically compute marginals for it all the unobserved variables in a graphical model.