Logically Consistent Adversarial Attacks for Soft Theorem Provers

Alexander Gaskell, Yishu Miao, Francesca Toni, Lucia Specia