Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Computing
  4. Computing
  5. Logically consistent adversarial attacks for soft theorem provers
 
  • Details
Logically consistent adversarial attacks for soft theorem provers
OA Location
https://arxiv.org/abs/2205.00047
Author(s)
Gaskell, Alexander
Miao, Yishu
Specia, Lucia
Toni, Francesca
Type
Preprint
Date Issued
2022-04-29
Citation
arXiv, 2022
URI
http://hdl.handle.net/10044/1/108451
URL
https://doi.org/10.48550/arXiv.2205.00047
DOI
https://www.dx.doi.org/10.48550/arXiv.2205.00047
Journal / Book Title
arXiv
License URL
https://creativecommons.org/licenses/by/4.0/
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback