12 papers
Do LLMs Take Care of Their Own? Similarity Signals Can Induce Cooperation
Akash Kundu, Emanuel Tewolde, Ratip Emin Berker +2
As LLM-based agents with user-instructed goals are becoming widely deployed, they increasingly encounter each other in strategic interactions, and face challenges of finding mutual…
Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections
Itai Zilberstein, Ratip Emin Berker, George Li +1
In an election where voters rank candidates, a Condorcet winning set is a committee of candidates such that for any outside candidate, a majority of voters prefer some…
How Many Votes is a Lie Worth? Measuring Strategyproofness through Resource Augmentation
Ratip Emin Berker, Vincent Conitzer, Eden Hartman +2
It is well known, by the Gibbard-Satterthwaite Theorem, that when there are more than two candidates, any non-dictatorial voting rule can be manipulated by untruthful voters. But h…
Computational Social Choice: Research & Development
Dorothea Baumeister, Ratip Emin Berker, Niclas Boehmer +7
Computational social choice (COMSOC) studies principled ways to aggregate conflicting individual preferences into collective decisions. In this paper, we call for an increased effo…
On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting
Ratip Emin Berker, Emanuel Tewolde, Vincent Conitzer +3
Core stability is a natural and well-studied notion for group fairness in multi-winner voting, where the task is to select a committee from a pool of candidates. We study the setti…
Learning and Computation of -Equilibria at the Frontier of Tractability
Brian Hu Zhang, Ioannis Anagnostides, Emanuel Tewolde +4
-equilibria -- and the associated notion of -regret -- are a powerful and flexible framework at the heart of online learning and game theory, whereby enriching the set of d…