12 papers
Is Solving Better Than Evaluating GenAI Solutions?
Ethan Dickey, Marios Mertzanidis, Alexandros Psomas
The paper reports a randomized crossover study in a junior-level algorithms course comparing student learning outcomes when they evaluate GenAI-generated solutions versus when they…
Stable Voting is PSPACE-Complete
Ethan Dickey, Alexandros Psomas, Athina Terzoglou
The paper proves that determining the winner under the Stable Voting and Simple Stable Voting rules is PSPACE‑complete.
Pseudo-Equilibria, or: How to Stop Worrying About Crypto and Just Analyze the Game
Alexandros Psomas, Athina Terzoglou, Yu Wei +1
We consider the problem of a game theorist analyzing a game that uses cryptographic protocols. Ideally, a theorist abstracts protocols as ideal, implementation-independent primitiv…
On the Existence of Fair Allocations for Goods and Chores under Dissimilar Preferences
Egor Gagushin, Marios Mertzanidis, Alexandros Psomas
We study the fundamental problem of fairly allocating a multiset of types of indivisible items among groups of agents, where all agents within a group have id…
Fair Division Under Inaccurate Preferences
Trung Dang, Daniel Halpern, Anuran Makur +3
The fair allocation of scarce resources is a central problem in mathematics, computer science, operations research, and economics. While much of the fair-division literature assume…
Truthful Fair Division under Stochastic Valuations
Daniel Halpern, Alexandros Psomas, Shirley Zhang
We study no-money mechanisms for allocating indivisible items to strategic agents with additive preferences under a stochastic model. In this model, items' values are drawn from an…