Standards for Reporting Artificial Intelligence Research using Burns Image Datasets

Date: 2nd June 2023
Time: 14:00 - 16:00

In recent years there has been increasing interest in AI applications in Plastic Surgery. I will report on a review I am conducting which explores the current legislative environment for AI research that uses patient image datasets and summarises key ethical considerations that are raised in existing AI burns care research. A basic framework for the reporting of burns image datasets that are used for AI research will also be suggested.
Speaker: Fiona Smith

Continue Reading →

Charting the Landscape of Neuro-symbolic Reasoners

Date: 2nd June 2023
Time: 14:00 - 16:00

I will present ongoing work on building SaSSY-CLEVR, a heterogeneous benchmark suite which can serve as a common testing ground for different neuro-symbolic reasoners to compare their strengths and limitations. If time allows, I will also share a series of experiments to assess NeSy models on CLEVR-Hans3.
Speaker: Xuelong An

Continue Reading →

ML-based premise selection for Lean

Date: 10th March 2023
Time: 14:00 - 16:00

In this talk, I will introduce a machine-learning-based tool for the Lean theorem prover that suggests relevant premises to a user interactively constructing a proof.
Speaker: Ramon Fernández Mir

Continue Reading →

What do data tell us about frailty?

Date: 26th January 2023
Time: 13:30 - 15:00

My research integrates data science and geriatric medicine to explore what different data sources and methods can tell us about frailty, a state of increased vulnerability to adverse health outcomes for individuals of the same chronological age.
Speaker: Lara Johnson

Continue Reading →