Gordon Stewart | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Anindya Banerjee
12 publications
Razvan Bunescu
11 publications
Alexander Bagnall
3 publications

research

∙ 01/24/2023

Inductive Reasoning for Coinductive Types

We present AlgCo (Algebraic Coinductives), a practical framework for ind...

0 Alexander Bagnall, et al. ∙

research

∙ 11/12/2022

Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

We present Zar: a formally verified compiler pipeline from discrete prob...

0 Alexander Bagnall, et al. ∙

research

∙ 12/11/2017

Training Ensembles to Detect Adversarial Examples

We propose a new ensemble method for detecting and classifying adversari...

0 Alexander Bagnall, et al. ∙