Publications

Benjie Wang, Joel Jennings, Wenbo Gong (2024). Neural Structure Learning with Stochastic Differential Equations. International Conference on Learning Representations (ICLR).

Xiyue Zhang, Benjie Wang, Marta Kwiatkowska (2024). Provable Preimage Under-Approximation for Neural Networks. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS, to appear).

Benjie Wang, Marta Kwiatkowska (2023). Compositional Probabilistic and Causal Inference using Tractable Circuit Models. International Conference on Artificial Intelligence and Statistics (AISTATS).

Benjie Wang, Matthew R Wicker, Marta Kwiatkowska (2022). Tractable Uncertainty for Structure Learning. International Conference on Machine Learning (ICML).

Benjie Wang, Marta Kwiatkowska (2022). Symbolic Causal Inference via Operations on Probabilistic Circuits. NeurIPS 2022 Workshop on Neuro Causal and Symbolic AI (nCSI).

Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska (2022). Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. International Joint Conference on Artificial Intelligence (IJCAI).

Benjie Wang, Stefan Webb, Tom Rainforth (2021). Statistically Robust Neural Network Classification. Uncertainty in Artificial Intelligence (UAI).

Benjie Wang, Clare Lyle, Marta Kwiatkowska (2021). Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. International Joint Conference on Artificial Intelligence (IJCAI).

Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska (2020). Assessing Robustness of Text Classification through Maximal Safe Radius Computation. Findings of the Association for Computational Linguistics: EMNLP 2020.