%0 Conference Paper %1 conf/ijcai/GaskellMTS22 %A Gaskell, Alexander %A Miao, Yishu %A Toni, Francesca %A Specia, Lucia %B IJCAI %D 2022 %E Raedt, Luc De %I ijcai.org %K dblp %P 4129-4135 %T Logically Consistent Adversarial Attacks for Soft Theorem Provers. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2022.html#GaskellMTS22

@inproceedings{conf/ijcai/GaskellMTS22, added-at = {2022-07-27T00:00:00.000+0200}, author = {Gaskell, Alexander and Miao, Yishu and Toni, Francesca and Specia, Lucia}, biburl = {https://www.bibsonomy.org/bibtex/2130ff08840fc0d8e9f81299e4d62e191/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2022}, editor = {Raedt, Luc De}, ee = {https://doi.org/10.24963/ijcai.2022/573}, interhash = {6c28f8f7da94404b82f289e61d9ffa7e}, intrahash = {130ff08840fc0d8e9f81299e4d62e191}, keywords = {dblp}, pages = {4129-4135}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:37.000+0200}, title = {Logically Consistent Adversarial Attacks for Soft Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2022.html#GaskellMTS22}, year = 2022 }