9 citations · 14 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 1 cited
Provable Preimage Under-Approximation for Neural Networks (Full Version)
Xiyue Zhang, Benjie Wang, Marta Kwiatkowska
Neural network verification mainly focuses on local robustness properties, which can be checked by bounding the image (set of outputs) of a given input set. However, often it is im…
cs.AI2023★ 1 cited
Compositional Probabilistic and Causal Inference using Tractable Circuit Models
Benjie Wang, Marta Kwiatkowska
Probabilistic circuits (PCs) are a class of tractable probabilistic models, which admit efficient inference routines depending on their structural properties. In this paper, we int…