Benjie Wang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 18

Top Topics

Stochastic Differential Equations

Bayesian Network Models

Structure Learning

Top Venues

Publications

Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
Provable Preimage Under-Approximation for Neural Networks. TACAS (3) (2024)
Benjie Wang, Joel Jennings, Wenbo Gong
Neural structure learning with stochastic differential equations. ICLR (2024)
Antoine Amarilli, Marcelo Arenas, YooJung Choi, Mikaël Monet, Guy Van den Broeck, Benjie Wang
A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata. CoRR (2024)
Benjie Wang, Joel Jennings, Wenbo Gong
Neural Structure Learning with Stochastic Differential Equations. CoRR (2023)
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
On Preimage Approximation for Neural Networks. CoRR (2023)
Benjie Wang, Marta Kwiatkowska
Compositional Probabilistic and Causal Inference using Tractable Circuit Models. AISTATS (2023)
Benjie Wang, Marta Kwiatkowska
Compositional Probabilistic and Causal Inference using Tractable Circuit Models. CoRR (2023)
Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. CoRR (2022)
Artem Velikzhanin, Benjie Wang, Marta Kwiatkowska
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation. CoRR (2022)
Benjie Wang, Matthew Wicker, Marta Kwiatkowska
Tractable Uncertainty for Structure Learning. CoRR (2022)
Hjalmar Wijk, Benjie Wang, Marta Kwiatkowska
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits. IJCAI (2022)
Benjie Wang, Matthew Wicker, Marta Kwiatkowska
Tractable Uncertainty for Structure Learning. ICML (2022)
Benjie Wang, Stefan Webb, Tom Rainforth
Statistically robust neural network classification. UAI (2021)
Benjie Wang, Clare Lyle, Marta Kwiatkowska
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. IJCAI (2021)
Benjie Wang, Clare Lyle, Marta Kwiatkowska
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions. CoRR (2021)
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. CoRR (2020)
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. EMNLP (Findings) (2020)
Benjie Wang, Stefan Webb, Tom Rainforth
Statistically Robust Neural Network Classification. CoRR (2019)