Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Logically consistent adversarial attacks for soft theorem provers
OA Location
Author(s)
Gaskell, Alexander
Miao, Yishu
Specia, Lucia
Toni, Francesca
Type
Preprint
Date Issued
2022-04-29
Citation
arXiv, 2022
URI
URL
DOI
Journal / Book Title
arXiv
License URL
Copyright © 2022 The Author(s). This work is licensed under a Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0/).
Identifier
https://doi.org/10.48550/arXiv.2205.00047