4 papers
Non-obvious Manipulability with Groups in Shapley-Scarf Housing Markets
Louise Demoor, Martí Jané-Ballarín, Pierre Nunn +3
In Shapley-Scarf housing markets, Ma (1994) shows that top trading cycles (TTC) is the unique mechanism satisfying individual rationality (IR), Pareto efficiency (PE), and strategy…
Distances Between Top-Truncated Elections of Different Sizes
Piotr Faliszewski, Jitka Mertlová, Pierre Nunn +2
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 candid…
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Pierre Nunn, Marco Sälzer, François Schwarzentruber +1
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…
A Modal Logic for Explaining some Graph Neural Networks
Pierre Nunn, François Schwarzentruber
In this paper, 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 net…