4 papers
Solving Hard XAI Queries Based on a Compiled Dual-Rail Encoding
Arthur Ledaguenel, Florent Capelli, Jean-Marie Lagniez
The widespread adoption of artificial intelligence (AI) within real-world applications has raised a lot of concerns regarding their trustworthiness, especially in critical applicat…
Neurosymbolic Conformal Classification
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
The last decades have seen a drastic improvement of Machine Learning (ML), mainly driven by Deep Learning (DL). However, despite the resounding successes of ML in many domains, the…
A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
Neurosymbolic artificial intelligence is a growing field of research aiming to combine neural network learning capabilities with the reasoning abilities of symbolic systems. Inform…
Improving Neural-based Classification with Logical Background Knowledge
Arthur Ledaguenel, Céline Hudelot, Mostepha Khouadjia
Neurosymbolic AI is a growing field of research aiming to combine neural networks learning capabilities with the reasoning abilities of symbolic systems. This hybridization can tak…