Lu, Kaiji

2 publications

NeurIPS 2023 Grounding Neural Inference with Satisfiability Modulo Theories Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson

NeurIPS 2021 Influence Patterns for Explaining Information Flow in BERT Kaiji Lu, Zifan Wang, Piotr Mardziel, Anupam Datta