Search Results for author: Avraham Shinnar

Found 11 papers, 6 papers with code

Navigating Ensemble Configurations for Algorithmic Fairness

no code implementations11 Oct 2022 Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar

Bias mitigators can improve algorithmic fairness in machine learning models, but their effect on fairness is often not stable across data splits.

Ensemble Learning Fairness +1

Formalization of a Stochastic Approximation Theorem

1 code implementation12 Feb 2022 Koundinya Vajjha, Barry Trager, Avraham Shinnar, Vasily Pestun

Stochastic approximation algorithms are iterative procedures which are used to approximate a target value in an environment where the target is unknown and direct observations are corrupted by noise.

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

1 code implementation23 Sep 2020 Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry Trager, Nathan Fulton

Reinforcement learning algorithms solve sequential decision-making problems in probabilistic environments by optimizing for long-term reward.

Decision Making reinforcement-learning +1

Lale: Consistent Automated Machine Learning

1 code implementation4 Jul 2020 Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar

Automated machine learning makes it easier for data scientists to develop pipelines by searching over possible choices for hyperparameters, algorithms, and even pipeline topologies.

BIG-bench Machine Learning

Type-Driven Automated Learning with Lale

2 code implementations24 May 2019 Martin Hirzel, Kiran Kate, Avraham Shinnar, Subhrajit Roy, Parikshit Ram

Machine-learning automation tools, ranging from humble grid-search to hyperopt, auto-sklearn, and TPOT, help explore large search spaces of possible pipelines.

Time Series Time Series Analysis +1

Yaps: Python Frontend to Stan

1 code implementation6 Dec 2018 Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar

Stan is a popular probabilistic programming language with a self-contained syntax and semantics that is close to graphical models.

Programming Languages

Ariadne: Analysis for Machine Learning Program

no code implementations10 May 2018 Julian Dolby, Avraham Shinnar, Allison Allain, Jenna Reinen

We report on Ariadne: applying a static framework, WALA, to machine learning code that uses TensorFlow.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.