Assessing Robustness of Text Classification through Maximal Safe Radius Computation. - Emanuele La Malfa; Min Wu 011; Luca Laurenti; Benjie Wang 001; Anthony Hartshorn; Marta Kwiatkowska (EMNLP (Findings), 2020)

Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. - Benjie Wang 001; Clare Lyle; Marta Kwiatkowska (IJCAI, 2021)

Statistically robust neural network classification. - Benjie Wang 001; Stefan Webb; Tom Rainforth (UAI, 2021)

Tractable Uncertainty for Structure Learning. - Benjie Wang 001; Matthew Wicker; Marta Kwiatkowska (ICML, 2022)

Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. - Hjalmar Wijk; Benjie Wang 001; Marta Kwiatkowska (IJCAI, 2022)

Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation. - Artem Velikzhanin; Benjie Wang 001; Marta Kwiatkowska (CoRR, 2022)

Compositional Probabilistic and Causal Inference using Tractable Circuit Models. - Benjie Wang 001; Marta Kwiatkowska (AISTATS, 2023)

On Preimage Approximation for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska (CoRR, 2023)

Where is the signal in tokenization space? - Renato Lui Geh; Honghua Zhang; Kareem Ahmed; Benjie Wang 001; Guy Van den Broeck (EMNLP, 2024)

Neural structure learning with stochastic differential equations. - Benjie Wang 001; Joel Jennings; Wenbo Gong 001 (ICLR, 2024)

A Compositional Atlas for Algebraic Circuits. - Benjie Wang 001; Denis Deratani Mauá; Guy Van den Broeck; YooJung Choi 001 (NeurIPS, 2024)

Provable Preimage Under-Approximation for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska (TACAS (3), 2024)

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata. - Antoine Amarilli; Marcelo Arenas; YooJung Choi 001; Mikaël Monet; Guy Van den Broeck; Benjie Wang 001 (CoRR, 2024)

Probabilistic Circuits for Cumulative Distribution Functions. - Oliver Broadrick; William X. Cao; Benjie Wang 001; Martin Trapp 001; Guy Van den Broeck (CoRR, 2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks. - Xiyue Zhang 001; Benjie Wang 001; Marta Kwiatkowska; Huan Zhang (CoRR, 2024)

On the Relationship Between Monotone and Squared Probabilistic Circuits. - Benjie Wang 001; Guy Van den Broeck (AAAI, 2025)

Restructuring Tractable Probabilistic Circuits. - Honghua Zhang; Benjie Wang 001; Marcelo Arenas; Guy Van den Broeck (AISTATS, 2025)

TRACE Back from the Future: A Probabilistic Reasoning Approach to Controllable Language Generation. - Gwen Yidou Weng; Benjie Wang 001; Guy Van den Broeck (CoRR, 2025)

Scaling Probabilistic Circuits via Monarch Matrices. - Honghua Zhang; Meihua Dang; Benjie Wang 001; Stefano Ermon; Nanyun Peng 001; Guy Van den Broeck (CoRR, 2025)