Logically Consistent Adversarial Attacks for Soft Theorem Provers

Alexander Gaskell, Yishu Miao, Francesca Toni, Lucia Specia

• Video #1 Length : 00:01:22 on SlidesLive
• Video #2 Length : 00:11:30 on SlidesLive