Logically Consistent Adversarial Attacks for Soft Theorem Provers

Gaskell et al. "Logically Consistent Adversarial Attacks for Soft Theorem Provers." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/573

[Gaskell et al. "Logically Consistent Adversarial Attacks for Soft Theorem Provers." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/gaskell2022ijcai-logically/) doi:10.24963/IJCAI.2022/573

@inproceedings{gaskell2022ijcai-logically,
  title     = {{Logically Consistent Adversarial Attacks for Soft Theorem Provers}},
  author    = {Gaskell, Alexander and Miao, Yishu and Toni, Francesca and Specia, Lucia},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {4129-4135},
  doi       = {10.24963/IJCAI.2022/573},
  url       = {https://mlanthology.org/ijcai/2022/gaskell2022ijcai-logically/}
}