138 citations · 597 across the 30 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
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…
cs.AI2022
Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
Rui Yan, Gabriel Santos, Gethin Norman +2
Neuro-symbolic approaches to artificial intelligence, which combine neural networks with classical symbolic techniques, are growing in prominence, necessitating formal approaches t…
cs.AI2016★ 14 cited
Safety Verification of Deep Neural Networks
Xiaowei Huang, Marta Kwiatkowska, Sen Wang +1
Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, min…