We design the first game-theoretic efficient machine unlearning evaluation metric with provable properties.
We resolved Gerrymandering by a simple (dumb) voting scheme...