Search Results for author: Alexander Gaskell

Found 4 papers, 2 papers with code

Logically Consistent Adversarial Attacks for Soft Theorem Provers

1 code implementation29 Apr 2022 Alexander Gaskell, Yishu Miao, Lucia Specia, Francesca Toni

We propose a novel, generative adversarial framework for probing and improving these models' reasoning capabilities.

Automated Theorem Proving

Evaluating the COVID-19 Identification ResNet (CIdeR) on the INTERSPEECH COVID-19 from Audio Challenges

no code implementations30 Jul 2021 Alican Akman, Harry Coppock, Alexander Gaskell, Panagiotis Tzirakis, Lyn Jones, Björn W. Schuller

We report on cross-running the recent COVID-19 Identification ResNet (CIdeR) on the two Interspeech 2021 COVID-19 diagnosis from cough and speech audio challenges: ComParE and DiCOVA.

COVID-19 Diagnosis

End-2-End COVID-19 Detection from Breath & Cough Audio

1 code implementation7 Jan 2021 Harry Coppock, Alexander Gaskell, Panagiotis Tzirakis, Alice Baird, Lyn Jones, Björn W. Schuller

Our main contributions are as follows: (I) We demonstrate the first attempt to diagnose COVID-19 using end-to-end deep learning from a crowd-sourced dataset of audio samples, achieving ROC-AUC of 0. 846; (II) Our model, the COVID-19 Identification ResNet, (CIdeR), has potential for rapid scalability, minimal cost and improving performance as more data becomes available.

Detecting COVID-19 from Breathing and Coughing Sounds using Deep Neural Networks

no code implementations29 Dec 2020 Björn W. Schuller, Harry Coppock, Alexander Gaskell

The COVID-19 pandemic has affected the world unevenly; while industrial economies have been able to produce the tests necessary to track the spread of the virus and mostly avoided complete lockdowns, developing countries have faced issues with testing capacity.

Bayesian Optimisation

Cannot find the paper you are looking for? You can Submit a new open access paper.