30 citations · 31 across the 3 of their papers we have counts for
3 papers
Inductive Reasoning for Coinductive Types
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
We present AlgCo (Algebraic Coinductives), a practical framework for inductive reasoning over commonly used coinductive types such as conats, streams, and infinitary trees with fin…
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…
Training Ensembles to Detect Adversarial Examples
Alexander Bagnall, Razvan Bunescu, Gordon Stewart
We propose a new ensemble method for detecting and classifying adversarial examples generated by state-of-the-art attacks, including DeepFool and C&W. Our method works by training…