CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

19 February 2023

Papers citing "CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization"

10 / 10 papers shown

Title
An Intelligent Assistant for Converting City Requirements to Formal Specification Zirong Chen Isaac Li Haoxiang Zhang S. Preum John A. Stankovic Meiyi Ma 9 5 0 14 Jun 2022
Don't sweat the small stuff, classify the rest: Sample Shielding to protect text classifiers against adversarial attacks Jonathan Rusert P. Srinivasan AAML 24 3 0 03 May 2022
Towards Improving Adversarial Training of NLP Models Jin Yong Yoo Yanjun Qi AAML 74 124 0 01 Sep 2021
Beyond Accuracy: Behavioral Testing of NLP models with CheckList Marco Tulio Ribeiro Tongshuang Wu Carlos Guestrin Sameer Singh ELM 98 1,089 0 08 May 2020
Pretrained Transformers Improve Out-of-Distribution Robustness Dan Hendrycks Xiaoyuan Liu Eric Wallace Adam Dziedzic R. Krishnan D. Song OOD 98 430 0 13 Apr 2020
Is BERT Really Robust? A Strong Baseline for Natural Language Attack on Text Classification and Entailment Di Jin Zhijing Jin Qiufeng Wang Peter Szolovits SILM AAML 76 1,064 0 27 Jul 2019
Combating Adversarial Misspellings with Robust Word Recognition Danish Pruthi Bhuwan Dhingra Zachary Chase Lipton 75 302 0 27 May 2019
EDA: Easy Data Augmentation Techniques for Boosting Performance on Text Classification Tasks Jason W. Wei Kai Zou 66 1,931 0 31 Jan 2019
TextBugger: Generating Adversarial Text Against Real-world Applications Jinfeng Li S. Ji Tianyu Du Bo Li Ting Wang SILM AAML 113 731 0 13 Dec 2018
Contextual Augmentation: Data Augmentation by Words with Paradigmatic Relations Sosuke Kobayashi 57 608 0 16 May 2018