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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Formalization of a Stochastic Approximation Theorem



Koundinya Vajjha , Barry Trager , Avraham Shinnar , Vasily Pestun

* 17 pages 

   Access Paper or Ask Questions

An Empirical Study of Modular Bias Mitigators and Ensembles



Michael Feffer , Martin Hirzel , Samuel C. Hoffman , Kiran Kate , Parikshit Ram , Avraham Shinnar


   Access Paper or Ask Questions

CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq



Koundinya Vajjha , Avraham Shinnar , Vasily Pestun , Barry Trager , Nathan Fulton


   Access Paper or Ask Questions

Lale: Consistent Automated Machine Learning



Guillaume Baudart , Martin Hirzel , Kiran Kate , Parikshit Ram , Avraham Shinnar

* KDD Workshop on Automation in Machine Learning ([email protected]), August 2020 

   Access Paper or Ask Questions

Type-Driven Automated Learning with Lale



Martin Hirzel , Kiran Kate , Avraham Shinnar , Subhrajit Roy , Parikshit Ram


   Access Paper or Ask Questions

Extending Stan for Deep Probabilistic Programming



Javier Burroni , Guillaume Baudart , Louis Mandel , Martin Hirzel , Avraham Shinnar


   Access Paper or Ask Questions