Economics
Incentive-Compatible Forecasting Competitions
Dashboard Mechanisms for Online Marketplaces
We consider the problem of designing mechanisms for online marketplaces for long-lived agents with persistent preferences. Bidder dashboards, which forecast outcomes as a function of bid, help bidders optimize their bids. The principal in such…
Adversarial Generalized Method of Moments
Monopoly Without a Monopolist: An Economic Analysis of Bitcoin
Owned by nobody and controlled by an almost immutable protocol, the Bitcoin payment system is a platform with two main constituencies: users and profit-seeking miners who maintain the system’s infrastructure. The paper seeks to understand…
I Chose STEM – Event Recap
Earlier this week Microsoft Research Montreal celebrated the International Day of Women and Girls in STEM (science, technology, engineering and mathematics) with a one-day symposium: I Chose STEM. More than 200 Canadian STEM students and…
Dynamic Matching in School Choice: Efficient Seat Reassignment after Late Cancellations
As market design theory increasingly shapes the design and operations of real-life marketplaces, it is important for designers to provide simple policy levers that practitioners can use to optimize platform objectives. In the school choice…
Automated Economic Reasoning with Quantifier Elimination
Many theorems in economics can be proven (and hypotheses shown to be false) with available decision algorithms. This paper assembles a few dozen classic examples from economic theory that demonstrate why CAD-based algorithms are practical,…
