top of page
  • Twitter
  • LinkedIn

Neuro-Symbolic AI Lab

image.png
image.png

Building AI systems which are capable of complex reasoning

AI-based Reasoning | Next-generation Scientific Inference | Natural Language Inference

The Neuro-Symbolic AI Lab has the mission of building the foundations to deliver complex and controlled AI reasoning. We believe that AI methods are an integral part of new epistemological foundations for rationality and science.

We are part of the IDIAP Research Institute (Switzerland) and of the Department of Computer Science at the University of Manchester (UK), working in close collaboration with the National Biomarker Centre (CRUK Manchester Institute). Our main areas of research include:
​

  • Natural Language Inference

  • AI-based scientific reasoning

  • Neuro-symbolic NLP: NLP & Formal Inference

  • Controlling Large Language Models (LLMs)

  • Language Models, Sentence Representation & Inference

  • Safe & Explainable NLP Models

  • Ethical Reasoning over LLMs

  • Expert-systems based on LLMs

  • Scientific reasoning based on LLMs

  • End-user Programming using LLMs

  • Mathematical Language Processing

  • Natural Language Processing in Oncology

  • AI-based systems to support clinical trials

  • Multi-omics Transformer-based models

manch01.jpeg
bottom of page