44 citations · 218 across the 42 of their papers we have counts for
4 papers · 1 filter
Proving Data-Poisoning Robustness in Decision Trees
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Machine learning models are brittle, and small changes in the training data can result in different predictions. We study the problem of proving that a prediction is robust to data…
Synthesizing Action Sequences for Modifying Model Decisions
Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi
When a model makes a consequential decision, e.g., denying someone a loan, it needs to additionally generate actionable, realistic feedback on what the person can do to favorably c…
A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning
Newsha Ardalani, Urmish Thakker, Aws Albarghouthi +1
Porting code from CPU to GPU is costly and time-consuming; Unless much time is invested in development and optimization, it is not obvious, a priori, how much speed-up is achievabl…
Efficient Synthesis with Probabilistic Constraints
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
We consider the problem of synthesizing a program given a probabilistic specification of its desired behavior. Specifically, we study the recent paradigm of distribution-guided ind…