About

Data, Uncertainty, Constraints, Knowledge — four words that sit at the heart of everything we do. At the DUCK Lab, we build AI systems that don't just learn from data, but reason over it: systems that acknowledge what they don't know, respect the rules of the world they operate in, and draw on structured knowledge to make better decisions. We're a small, tight-knit team at Imperial College London, united by a belief that we don't need to compromise between a powerful AI and a safe one.

Interested in joining the lab? Contact me at firstname initial DOT surname AT imperial.ac.uk.

Come for the research, stay for the good company!

DUCK Lab Group Photo

Recent News

08-2025

AI for Math Fund

Constraining LLMs for Theorem Proving: A Neurosymbolic Approach to Guaranteed Autoformalization
Dr. Giunchiglia has been awarded an AI for Math grant. Read more here