Search Results for author: Adrien Bibal

Found 8 papers, 1 papers with code

Is Attention Explanation? An Introduction to the Debate

no code implementations ACL 2022 Adrien Bibal, Rémi Cardon, David Alfter, Rodrigo Wilkens, Xiaoou Wang, Thomas François, Patrick Watrin

In this paper, we provide a clear overview of the insights on the debate by critically confronting works from these different areas.

SO(2) and O(2) Equivariance in Image Recognition with Bessel-Convolutional Neural Networks

1 code implementation18 Apr 2023 Valentin Delchevalerie, Alexandre Mayer, Adrien Bibal, Benoît Frénay

For many years, it has been shown how much exploiting equivariances can be beneficial when solving image analysis tasks.

Translation

Achieving Rotational Invariance with Bessel-Convolutional Neural Networks

no code implementations NeurIPS 2021 Valentin Delchevalerie, Adrien Bibal, Benoît Frénay, Alexandre Mayer

For many applications in image analysis, learning models that are invariant to translations and rotations is paramount.

DumbleDR: Predicting User Preferences of Dimensionality Reduction Projection Quality

no code implementations19 May 2021 Cristina Morariu, Adrien Bibal, Rene Cutura, Benoît Frénay, Michael Sedlmair

A plethora of dimensionality reduction techniques have emerged over the past decades, leaving researchers and analysts with a wide variety of choices for reducing their data, all the more so given some techniques come with additional parametrization (e. g. t-SNE, UMAP, etc.).

Dimensionality Reduction

Impact of Legal Requirements on Explainability in Machine Learning

no code implementations10 Jul 2020 Adrien Bibal, Michael Lognoul, Alexandre de Streel, Benoît Frénay

The requirements on explainability imposed by European laws and their implications for machine learning (ML) models are not always clear.

BIG-bench Machine Learning Decision Making

ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification

no code implementations10 Jun 2018 Moussa Amrani, Levi Lúcio, Adrien Bibal

Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on discrete mathematics and aims at ensuring correctness; ML often relies on probabilistic models and consists of learning patterns from training data.

Automated Theorem Proving BIG-bench Machine Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.