Review for NeurIPS paper: Explainable Voting

The reviewers agreed that the paper makes a significant contribution to the interesting area of length of proofs / explanations for in social choice. There was a lengthy discussion among the reviewers, largely centering around the normative appeal of axioms and whether the results have the potential to impact explainable ML/AI. The latter point was debated most; let me attempt to summarize. On the one hand, for an end user who wishes an alternative to be chosen according to a fixed set of axioms, then naturally this end user would prefer an explanation solely in terms of those axioms. The paper then bounds the length of these explanations.