IMFD Researcher will be a presenter at major conference on logic and automata
The 2024 edition of Highlights will take place from September 16 to 20 at the Universidad de Bordeaux (France). The talk to be given by Pablo Barceló will cover three case studies that highlight the key role of logic in improving the understanding of modern machine learning architectures. The Laboratoire Bordelais de Recherche en Informatique…
