Loading Events

« All Events

  • This event has passed.

Training neural models using logic: results, challenges, and applications

February 7 2025 | 10h00 - 11h30

DATA&AI Team Seminar (Online)

Efi Tsamoura, Senior Researcher at Samsung AI

Title: Training neural models using logic: results, challenges, and applications

Abstract: Neurosymbolic learning (NSL) vows to transform AI by combining the strong induction capabilities of neural models with the strong deduction capabilities of symbolic knowledge representation and reasoning techniques. This talk centers around an NSL problem that has received significant attention lately: training neural classifiers using supervision produced by logical theories. Empirical research has shown the advantages of this learning setting over end-to-end deep neural architectures in multiple aspects, including accuracy and model complexity. Despite the extensive empirical research, limited theoretical analysis has been dedicated to understanding if and under which conditions we can learn the underlying neural models.

This talk covers this gap by proposing necessary and sufficient conditions, which ensure that we can learn the underlying models under rigorous guarantees. I will also discuss the relationship between this problem and other known problems in the machine learning literature. Furthermore, I will present new challenges inherent to this NSL setting and propose solutions to overcome those challenges, leading to models with substantially higher accuracy. I will conclude this talk with recent applied results and open challenges.

 

Bio: Efi Tsamoura is a Senior Researcher at Samsung AI, Cambridge, UK. In 2016, she was awarded a prestigious early career fellowship from the Alan Turing Institute, UK, for her work on logic and databases, and before that, she was a Postdoctoral Researcher in the Department of Computer Science of the University of Oxford. Her main research interests lie in the areas of logic, knowledge representation and reasoning, and neurosymbolic learning, while her recent outcomes involve scaling symbolic reasoning to billions of triples, as well as addressing open problems in neuro-symbolic learning. Her research has been published in top-tier machine learning, AI, and database venues (NeurIPS, ICML, SIGMOD, VLDB, PODS, AAAI, IJCAI, etc.).

Details

Date:
February 7 2025
Time:
10h00 - 11h30
Event Category:

Venue

Zoom

Organiser

Vassiis Christophides
Email
vassilis.christophides@ensea.fr