TY  - RPRT
TI  - Logically Consistent Adversarial Attacks for Soft Theorem Provers
AU  - Alexander Gaskell
AU  - Yishu Miao
AU  - Lucia Specia
AU  - Francesca Toni
PY  - 2022
UR  - https://arxiv.org/abs/2205.00047
ID  - 2205.00047
ER  -