Kaiji Lu

According to our database, Kaiji Lu authored at least 10 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Learning Modulo Theories.

Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang

CoRR, 2023

Grounding Neural Inference with Satisfiability Modulo Theories.

Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Order-sensitive Shapley Values for Evaluating Conceptual Soundness of NLP Models.

Kaiji Lu, Anupam Datta

CoRR, 2022

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

Influence Patterns for Explaining Information Flow in BERT.

Kaiji Lu, Zifan Wang, Piotr Mardziel, Anupam Datta

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Exploring Conceptual Soundness with TruLens.

Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Ricardo Shih, Zifan Wang

Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track, 2021

Machine Learning Explainability and Robustness: Connected at the Hip.

Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang

Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

2020

Abstracting Influence Paths for Explaining (Contextualization of) BERT Models.

Kaiji Lu, Zifan Wang, Piotr Mardziel, Anupam Datta

CoRR, 2020

Gender Bias in Neural Natural Language Processing.

Kaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta

Proceedings of the Logic, 2020

Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models.

Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020