@misc{indiciae3c7e3ef28dba,
  title = {Certified Robustness to Programmable Transformations in LSTMs},
  author = {Yuhao Zhang and Aws Albarghouthi and Loris D'Antoni},
  year = {2021},
  url = {https://arxiv.org/abs/2102.07818},
  note = {Source identifier: 2102.07818}
}