top of page
idiap.jpeg

About Us

The Neuro-symbolic AI Lab was established with the mission of building AI systems which are capable of complex inference. We combine the capabilities of state-of-the-art Large Language Models with Formal Reasoning to deliver controlled and scalable inference.

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

Our funders

image.png
image.png
image.png
image.png
image.png
image.png
image.png
bottom of page