@misc{indiciae37aceb3bbb2c,
  title = {Logically Consistent Adversarial Attacks for Soft Theorem Provers},
  author = {Alexander Gaskell and Yishu Miao and Lucia Specia and Francesca Toni},
  year = {2022},
  url = {https://arxiv.org/abs/2205.00047},
  note = {Source identifier: 2205.00047}
}