MILP the Gap: An Automated Reasoning Approach to Condorcet's Paradox

Itai Zilberstein, Ratip Emin Berker, George Li +1

Computational social choice studies how conflicting individual preferences are aggregated into a collective decision, with applications to elections, AI evaluation/alignment, and r…