BibTex format
@inproceedings{Gaskell:2022,
author = {Gaskell, A and Miao, Y and Specia, L and Toni, F},
title = {Logically Consistent Adversarial Attacks for Soft Theorem Provers},
year = {2022}
}
@inproceedings{Gaskell:2022,
author = {Gaskell, A and Miao, Y and Specia, L and Toni, F},
title = {Logically Consistent Adversarial Attacks for Soft Theorem Provers},
year = {2022}
}
TY - CPAPER
AU - Gaskell,A
AU - Miao,Y
AU - Specia,L
AU - Toni,F
PY - 2022///
TI - Logically Consistent Adversarial Attacks for Soft Theorem Provers
ER -