Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models. - Kaiji Lu; Piotr Mardziel; Klas Leino; Matt Fredrikson; Anupam Datta (ACL, 2020)

Gender Bias in Neural Natural Language Processing. - Kaiji Lu; Piotr Mardziel; Fangjing Wu; Preetam Amancharla; Anupam Datta (Logic, Language, and Security, 2020)

Abstracting Influence Paths for Explaining (Contextualization of) BERT Models. - Kaiji Lu; Zifan Wang 001; Piotr Mardziel; Anupam Datta (CoRR, 2020)

Machine Learning Explainability and Robustness: Connected at the Hip. - Anupam Datta; Matt Fredrikson; Klas Leino; Kaiji Lu; Shayak Sen; Zifan Wang 001 (KDD, 2021)

Exploring Conceptual Soundness with TruLens. - Anupam Datta; Matt Fredrikson; Klas Leino; Kaiji Lu; Shayak Sen; Ricardo Shih; Zifan Wang 001 (NeurIPS (Competition and Demos), 2021)

Influence Patterns for Explaining Information Flow in BERT. - Kaiji Lu; Zifan Wang 001; Piotr Mardziel; Anupam Datta (NeurIPS, 2021)

Influence of Temperature on the Natural Vibration Characteristics of Simply Supported Reinforced Concrete Beam. - Yanxia Cai; Kai Zhang; Zhoujing Ye; Chang Liu; Kaiji Lu; Linbing Wang (Sensors, 2021)

Order-sensitive Shapley Values for Evaluating Conceptual Soundness of NLP Models. - Kaiji Lu; Anupam Datta (CoRR, 2022)

Grounding Neural Inference with Satisfiability Modulo Theories. - Zifan Wang 001; Saranya Vijayakumar; Kaiji Lu; Vijay Ganesh 001; Somesh Jha; Matt Fredrikson (NeurIPS, 2023)

Learning Modulo Theories. - Matt Fredrikson; Kaiji Lu; Saranya Vijayakumar; Somesh Jha; Vijay Ganesh 001; Zifan Wang 001 (CoRR, 2023)