Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Joseph Tassarotti

Verification of ML Systems via Reparameterization

Jul 14, 2020
Jean-Baptiste Tristan, Joseph Tassarotti, Koundinya Vajjha, Michael L. Wick, Anindya Banerjee

  Access Paper or Ask Questions

A Formal Proof of PAC Learnability for Decision Stumps

Nov 29, 2019
Joseph Tassarotti, Jean-Baptiste Tristan, Koundinya Vajjha

* 16 pages 

  Access Paper or Ask Questions

Sketching for Latent Dirichlet-Categorical Models

Oct 02, 2018
Joseph Tassarotti, Jean-Baptiste Tristan, Michael Wick

* 20 pages 

  Access Paper or Ask Questions

Augur: a Modeling Language for Data-Parallel Probabilistic Inference

Jun 10, 2014
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Pocock, Stephen J. Green, Guy L. Steele Jr

  Access Paper or Ask Questions