The Artificial Intelligence Modelling Lab (AIML) engages in a range of theoretical and applied research in Artificial Intelligence (AI) and Machine Learning (ML). Particular areas of interest include interactive theorem proving, formal modelling and verification, machine learning and its combination with higher level symbolic reasoning, as well as its application to healthcare and other complex, real-world domains.

News
Some of our External Engagement
Recent Events

Charting the Landscape of Neuro-symbolic Reasoners

Date: 2nd June 2023

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

Drug Mechanism of Action Retrieval using Neurosymbolic Path Finding

Date: 2nd June 2023

I will discuss some work that I plan to do involving neurosymbolic AI on a biomedical knowledge graph to unveil the most likely paths by which these compounds execute their mechanism of action.
Speaker: Lauren DeLong

Standards for Reporting Artificial Intelligence Research using Burns Image Datasets

Date: 2nd June 2023

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