activity
20172023
most citedTraining Ensembles to Detect Adversarial Examples

30 citations · 31 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2022

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

Alexander Bagnall, Gordon Stewart, Anindya Banerjee

We present Zar: a formally verified compiler pipeline from discrete probabilistic programs with unbounded loops in the conditional probabilistic guarded command language (cpGCL) to…