Pipeline Combinators for Gradual AutoML
- Guillaume Baudart
- Martin Hirzel
- et al.
- 2021
- NeurIPS 2021
Publications
Date
Featured collections
Popular topics
32 results for Avi Shinnar
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
- Guillaume Baudart
- Javier Burroni
- et al.
- 2021
- PLDI 2021
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
RASL: Relational Algebra in Scikit-Learn Pipelines
- Chirag Sahni
- Kiran Kate
- et al.
- 2021
- NeurIPS 2021
An Empirical Study of Modular Bias Mitigators and Ensembles
- Michael Feffer
- Martin Hirzel
- et al.
- 2022
- ICML 2022
Bootstrapping Chatbots for Novel Domains
- Petr Babkin
- Md Faisal Mahbub Chowdhury
- et al.
- 2017
- NeurIPS 2017
M3R: Increased performance for in-emory hadoop jobs
- Avraham Shinnar
- David Cunningham
- et al.
- 2012
- VLDB
Finding data compatibility bugs with JSON subschema checking
- Andrew Habib
- Avraham Shinnar
- et al.
- 2021
- ISSTA 2021
Translating Canonical SQL to Imperative Code in Coq
- Véronique Benzaken
- Eveleyne Contejean
- et al.
- 2022
- SPLASH 2022
Formalization of a Stochastic Approximation Theorem
- Koundinya Vajjha
- Barry Trager
- et al.
- 2022
- ITP 2022