Alert button
Picture for Aws Albarghouthi

Aws Albarghouthi

Alert button

Crowdsourcing Task Traces for Service Robotics

Mar 20, 2024
David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu

Viaarxiv icon

Verified Training for Counterfactual Explanation Robustness under Data Shift

Mar 06, 2024
Anna P. Meyer, Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

Viaarxiv icon

The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions

Apr 20, 2023
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni

Figure 1 for The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
Figure 2 for The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
Figure 3 for The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
Figure 4 for The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
Viaarxiv icon

Sketching Robot Programs On the Fly

Feb 06, 2023
David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu

Figure 1 for Sketching Robot Programs On the Fly
Figure 2 for Sketching Robot Programs On the Fly
Figure 3 for Sketching Robot Programs On the Fly
Figure 4 for Sketching Robot Programs On the Fly
Viaarxiv icon

PECAN: A Deterministic Certified Defense Against Backdoor Attacks

Jan 27, 2023
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

Figure 1 for PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Figure 2 for PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Figure 3 for PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Figure 4 for PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Viaarxiv icon

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels

Aug 30, 2022
Nicholas Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala

Figure 1 for AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
Figure 2 for AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
Figure 3 for AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
Figure 4 for AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
Viaarxiv icon

Certifying Data-Bias Robustness in Linear Regression

Jun 07, 2022
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni

Figure 1 for Certifying Data-Bias Robustness in Linear Regression
Figure 2 for Certifying Data-Bias Robustness in Linear Regression
Figure 3 for Certifying Data-Bias Robustness in Linear Regression
Figure 4 for Certifying Data-Bias Robustness in Linear Regression
Viaarxiv icon

BagFlip: A Certified Defense against Data Poisoning

May 26, 2022
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

Figure 1 for BagFlip: A Certified Defense against Data Poisoning
Figure 2 for BagFlip: A Certified Defense against Data Poisoning
Figure 3 for BagFlip: A Certified Defense against Data Poisoning
Figure 4 for BagFlip: A Certified Defense against Data Poisoning
Viaarxiv icon

Certifying Robustness to Programmable Data Bias in Decision Trees

Oct 08, 2021
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni

Figure 1 for Certifying Robustness to Programmable Data Bias in Decision Trees
Figure 2 for Certifying Robustness to Programmable Data Bias in Decision Trees
Figure 3 for Certifying Robustness to Programmable Data Bias in Decision Trees
Figure 4 for Certifying Robustness to Programmable Data Bias in Decision Trees
Viaarxiv icon

Introduction to Neural Network Verification

Oct 04, 2021
Aws Albarghouthi

Figure 1 for Introduction to Neural Network Verification
Figure 2 for Introduction to Neural Network Verification
Figure 3 for Introduction to Neural Network Verification
Figure 4 for Introduction to Neural Network Verification
Viaarxiv icon