Picture for Loris D'Antoni

Loris D'Antoni

Grammar-Aligned Decoding

Add code
May 31, 2024
Figure 1 for Grammar-Aligned Decoding
Figure 2 for Grammar-Aligned Decoding
Figure 3 for Grammar-Aligned Decoding
Figure 4 for Grammar-Aligned Decoding
Viaarxiv icon

A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness

Add code
May 27, 2024
Viaarxiv icon

Verified Training for Counterfactual Explanation Robustness under Data Shift

Add code
Mar 06, 2024
Figure 1 for Verified Training for Counterfactual Explanation Robustness under Data Shift
Figure 2 for Verified Training for Counterfactual Explanation Robustness under Data Shift
Figure 3 for Verified Training for Counterfactual Explanation Robustness under Data Shift
Figure 4 for Verified Training for Counterfactual Explanation Robustness under Data Shift
Viaarxiv icon

The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions

Add code
Apr 20, 2023
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

PECAN: A Deterministic Certified Defense Against Backdoor Attacks

Add code
Jan 27, 2023
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

Certifying Data-Bias Robustness in Linear Regression

Add code
Jun 07, 2022
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

Add code
May 26, 2022
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

Add code
Oct 08, 2021
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

Certified Robustness to Programmable Transformations in LSTMs

Add code
Feb 15, 2021
Figure 1 for Certified Robustness to Programmable Transformations in LSTMs
Figure 2 for Certified Robustness to Programmable Transformations in LSTMs
Figure 3 for Certified Robustness to Programmable Transformations in LSTMs
Figure 4 for Certified Robustness to Programmable Transformations in LSTMs
Viaarxiv icon

Robustness to Programmable String Transformations via Augmented Abstract Training

Add code
Feb 22, 2020
Figure 1 for Robustness to Programmable String Transformations via Augmented Abstract Training
Figure 2 for Robustness to Programmable String Transformations via Augmented Abstract Training
Figure 3 for Robustness to Programmable String Transformations via Augmented Abstract Training
Figure 4 for Robustness to Programmable String Transformations via Augmented Abstract Training
Viaarxiv icon