Skip to content

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.

Some of our Existing and Past External Engagements
Recent Events

Manifold Theory in Isabelle/HOL

Date: 23rd February 2024

I will give a whirlwind tour of my work in the formalisation of manifolds in Isabelle/HOL, and I will show how to get around the restrictions of simple types to formalise interesting properties of vector fields.
Speaker: Richard Schmoetten

I discuss our work on the extraction and symbolic encoding of properties related to activities of daily living and the use of model checking to surface unexpected behaviour in older adults.
Speaker: Ricardo Contreras

Researchers have proposed various approaches, including the use of Deep Learning for complex queries on Knowledge Graphs (KGs) and Augmented Language Models that integrate recognition of entities from a KG. In this work, we propose to modify and combine these approaches with recent LLM developments, creating an explainable way for LLMs to work with data from any KG.
Speaker: Carlos Efraín Quintero Narvaez