ML Anthology

Gaskell, Alexander

1 publications

IJCAI 2022 Logically Consistent Adversarial Attacks for Soft Theorem Provers Alexander Gaskell, Yishu Miao, Francesca Toni, Lucia Specia