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

arXiv:2604.19851 · cs.GT, cs.AI · Submitted 2026-04-21 · Read on arXiv

cs.GT, cs.AI

Submitted: 2026-04-21

Updated: 2026-10-10

Terminology

• Mixed-Integer Linear Program (MILP) — 1× in this paper · explained in 2 episodes
• Symmetry Breaking — 1× in this paper · explained in 3 episodes

Related papers

• Exact Regret Frontiers and Externality Scheduling in Centralized Serial-Dictatorship Bandits
• In-Context Credit Assignment via the Core
• Breaking 1/epsilon Barrier in Quantum Zero-Sum Games: Generalizing Metric Subregularity for Spectraplexes
• Enhancing Affine Maximizer Auctions with Correlation-Aware Payment
• LLM Bidders Preserve the Mechanism-Level Orderings of Human Bidders
• Towards Performatively Stable Equilibria in Decision-Dependent Games for Arbitrary Data Distribution Maps