93 citations · 212 across the 24 of their papers we have counts for
3 papers · 1 filter
Knowledge-Aided Open-Domain Question Answering
Mantong Zhou, Zhouxing Shi, Minlie Huang +1
Open-domain question answering (QA) aims to find the answer to a question from a large collection of documents.Though many models for single-document machine comprehension have ach…
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond
Kaidi Xu, Zhouxing Shi, Huan Zhang +6
Linear relaxation based perturbation analysis (LiRPA) for neural networks, which computes provable linear bounds of output neurons given a certain amount of input perturbation, has…
Robustness Verification for Transformers
Zhouxing Shi, Huan Zhang, Kai-Wei Chang +2
Robustness verification that aims to formally certify the prediction behavior of neural networks has become an important tool for understanding model behavior and obtaining safety…