A Measure of Complexity for Strategy-Proof Mechanisms  (with Lea Nagel) 

Forthcoming at Econometrica. Extended abstract in EC'23.