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…