Logically Consistent Adversarial Attacks for Soft Theorem Provers

Alexander Gaskell, Yishu Miao, Francesca Toni, Lucia Specia. Logically Consistent Adversarial Attacks for Soft Theorem Provers. In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022. pages 4129-4135, ijcai.org, 2022. [doi]

Authors

Alexander Gaskell

This author has not been identified. Look up 'Alexander Gaskell' in Google

Yishu Miao

This author has not been identified. Look up 'Yishu Miao' in Google

Francesca Toni

This author has not been identified. Look up 'Francesca Toni' in Google

Lucia Specia

This author has not been identified. Look up 'Lucia Specia' in Google