Papers by Aws Albarghouthi
Certified Robustness to Programmable Transformations in LSTMs (2021.emnlp-main)
Copied to clipboard
| Challenge: | Existing techniques for certifying robustness of LSTMs and extensions of lsts are prone to adversarial examples. |
| Approach: | They propose an approach to certify robustness of LSTMs and extensions of lstms . they show that their approach can train models more robust to combinations of string transformations - a key advantage of existing certification approaches . |
| Outcome: | The proposed approach can show high certification accuracy of the resulting models. |