Aaron Roth

Robust Mediators in Large Games

2015 · arXiv (Cornell University)

A mediator is a mechanism that can only suggest actions to players, as a function of all agents' reported types, in a given game of incomplete information. We study what is achievable by two kinds …

An Antifolk Theorem for Large Repeated Games

2016 · ACM Transactions on Economics and Computation

In this article, we study infinitely repeated games in settings of imperfect monitoring. We first prove a family of theorems showing that when the signals observed by the players satisfy a condition known as (ϵ, …

Fuzzi: A Three-Level Logic for Differential Privacy

2019 · arXiv (Cornell University)

Curators of sensitive datasets sometimes need to know whether queries against the data are differentially private [Dwork et al. 2006]. Two sorts of logics have been proposed for checking this property: (1) type systems and …

Private Pareto Optimal Exchange

2018 · ACM Transactions on Economics and Computation

We consider the problem of implementing an individually rational, asymptotically Pareto optimal allocation in a barter-exchange economy where agents are endowed with goods and preferences over the goods of others, but may not use money …

Multicalibrated Regression for Downstream Fairness

2023

We show how to take a regression function that is appropriately multicalibrated and efficiently post-process it into an approximately error minimizing classifier satisfying a large variety of fairness constraints. The post-processing requires no labeled data, …