Publications

Benjie Wang, Denis Deratani Mauá, Guy Van den Broeck, YooJung Choi (2024). A Compositional Atlas for Algebraic Circuits. Conference on Neural Information Processing Systems (NeurIPS).

Cite

Renato Lui Geh, Honghua Zhang, Kareem Ahmed, Benjie Wang, Guy Van den Broeck (2024). Where is the signal in tokenization space?. Conference on Empirical Methods in Natural Language Processing (EMNLP).

Cite URL

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).

Cite URL

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

Cite URL

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

Cite URL

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

Cite URL

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

Cite URL

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).

Cite URL

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

Cite URL

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).

Cite DOI URL

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.

Cite DOI URL