Logically Consistent Adversarial Attacks for Soft Theorem Provers.

Alexander Gaskell, Yishu Miao, Francesca Toni, Lucia Specia

Browse the full IJCAI paper archive.