output
20172025
most citedThe 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

30 citations

researchers with a paper here
collaborating institutions

9 papers

cs.CV2025★ 1 cited

Found in Translation: semantic approaches for enhancing AI interpretability in face verification

Miriam Doh, Caroline Mazini Rodrigues, N. Boutry +3

The increasing complexity of machine learning models in computer vision, particularly in face verification, requires the development of explainable artificial intelligence (XAI) to…

cs.CV2024

Bridging Human Concepts and Computer Vision for Explainable Face Verification

Miriam Doh, Caroline Mazini Rodrigues, Nicolas Boutry +3

With Artificial Intelligence (AI) influencing the decision-making process of sensitive applications such as Face Verification, it is fundamental to ensure the transparency, fairnes…

cs.CV2023

Unsupervised discovery of Interpretable Visual Concepts

Caroline Mazini Rodrigues, Nicolas Boutry, Laurent Najman

Providing interpretability of deep-learning models to non-experts, while fundamental for a responsible real-world usage, is challenging. Attribution maps from xAI techniques, such…

cs.LG2023

Leveraging Neural Koopman Operators to Learn Continuous Representations of Dynamical Systems from Scarce Data

Anthony Frion, Lucas Drumetz, Mauro Dalla Mura +2

Over the last few years, several works have proposed deep learning architectures to learn dynamical systems from observation data with no or little knowledge of the underlying phys…

cs.IR2023

A Benchmark of Nested Named Entity Recognition Approaches in Historical Structured Documents

Solenn Tual, Nathalie Abadie, J Chazalon +2

Named Entity Recognition (NER) is a key step in the creation of structured data from digitised historical documents. Traditional NER approaches deal with flat named entities, where…

cs.CV2022

Some equivalence relation between persistent homology and morphological dynamics

Nicolas Boutry, Laurent Najman, Thierry Géraud

In Mathematical Morphology (MM), connected filters based on dynamics are used to filter the extrema of an image. Similarly, persistence is a concept coming from Persistent Homology…