Pierre Nunn — accepted AI-conference papers

2025

Distances Between Top-Truncated Elections of Different Sizes

Piotr Faliszewski, Jitka Mertlová, Pierre Nunn, Stanisław Szufa, Tomasz Wąs

AAAI 2025technical

The map of elections framework is a methodology for visualizing and analyzing election datasets. So far, the framework was restricted to elections that have equal numbers of candidates, equal numbers of voters, and where all the (ordinal) votes rank all the candidates. We extend it to the case of el…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗

2024

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks

Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard

IJCAI 2024poster

We propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent graph neural network (GNN). We also show that a broad class of GNNs can be transformed efficiently into a formula, thus significantly improving upon t…

Cited by 3 Source ↗PDF ↗Scholar ↗