2 papers
cs.GT2026
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…
cs.CG2023
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
Bernardo Subercaseaux, John Mackey, Marijn J. H. Heule +1
We present a comprehensive demonstration of how automated reasoning can assist mathematical research, both in the discovery of conjectures and in their verification. Our focus is a…