A Modal Logic for Explaining some Graph Neural Networks. - Pierre Nunn; François Schwarzentruber (CoRR, 2023)

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. - Pierre Nunn; Marco Sälzer; François Schwarzentruber; Nicolas Troquard (IJCAI, 2024)

Distances Between Top-Truncated Elections of Different Sizes. - Piotr Faliszewski; Jitka Mertlová; Pierre Nunn; Stanislaw Szufa; Tomasz Was (AAAI, 2025)