Cover Image

Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zilberstein, Itai, Berker, Ratip Emin, Li, George, Martins, Ruben
Format:	Preprint
Published:	2026
Subjects:	Computer Science and Game Theory Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing Optimal Equilibria in Repeated Games with Restarts
by: Berker, Ratip Emin, et al.
Published: (2024)

Obvious Independence of Clones
by: Berker, Ratip Emin, et al.
Published: (2022)

Beyond Symmetry in Repeated Games with Restarts
by: Fleischmann, Henry, et al.
Published: (2025)

Differentially Private Condorcet Voting
by: Li, Zhechen, et al.
Published: (2022)

Temporal Elections: Welfare, Strategyproofness, and Proportionality
by: Elkind, Edith, et al.
Published: (2024)

Learning and Computation of $Φ$-Equilibria at the Frontier of Tractability
by: Zhang, Brian Hu, et al.
Published: (2025)

Computing Thiele Rules on Interval Elections and their Generalizations
by: Avramidis, Dimitris, et al.
Published: (2026)

Mechanism Design Is Not Enough: Prosocial Agents for Cooperative AI
by: Huang, Xuanqiang Angelo, et al.
Published: (2026)

Computational Social Choice: Research & Development
by: Baumeister, Dorothea, et al.
Published: (2026)

The Condorcet Dimension of Metric Spaces
by: Lassota, Alexandra, et al.
Published: (2024)

Automated Approach for Solving Infinite-state Polynomial Reachability Games
by: Chatterjee, Krishnendu, et al.
Published: (2026)

Expected Variational Inequalities
by: Zhang, Brian Hu, et al.
Published: (2025)

Drawing a Map of Elections
by: Szufa, Stanisław, et al.
Published: (2025)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
by: Fidan, Müge, et al.
Published: (2025)

Simultaneously Fair Allocation of Indivisible Items Across Multiple Dimensions
by: Kawase, Yasushi, et al.
Published: (2025)

Deep Automated Mechanism Design for Integrating Ad Auction and Allocation in Feed
by: Li, Xuejian, et al.
Published: (2024)

On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting
by: Berker, Ratip Emin, et al.
Published: (2025)

Condorcet Dimension and Pareto Optimality for Matchings and Beyond
by: Kavitha, Telikepalli, et al.
Published: (2026)

Approximating Human Strategic Reasoning with LLM-Enhanced Recursive Reasoners Leveraging Multi-agent Hypergames
by: Trencsenyi, Vince, et al.
Published: (2025)

Beyond Nash Equilibrium: Bounded Rationality of LLMs and humans in Strategic Decision-making
by: Zheng, Kehan, et al.
Published: (2025)

State Definition for Conflict Analysis with Four-valued Logic
by: Kato, Yukiko
Published: (2022)

TMGBench: A Systematic Game Benchmark for Evaluating Strategic Reasoning Abilities of LLMs
by: Wang, Haochuan, et al.
Published: (2024)

How Many Votes is a Lie Worth? Measuring Strategyproofness through Resource Augmentation
by: Berker, Ratip Emin, et al.
Published: (2026)

Game Reasoning Arena: A Framework and Benchmark for Assessing Reasoning Capabilities of Large Language Models via Game Play
by: Cipolina-Kun, Lucia, et al.
Published: (2025)

Automating Food Drop: The Power of Two Choices for Dynamic and Fair Food Allocation
by: Mertzanidis, Marios, et al.
Published: (2024)

Agreement, Diversity, and Polarization Indices for Approval Elections
by: Faliszewski, Piotr, et al.
Published: (2026)

Reasoning and Behavioral Equilibria in LLM-Nash Games: From Mindsets to Actions
by: Zhu, Quanyan
Published: (2025)

Look-ahead Reasoning with a Learned Model in Imperfect Information Games
by: Kubíček, Ondřej, et al.
Published: (2025)

Pay for The Second-Best Service: A Game-Theoretic Approach Against Dishonest LLM Providers
by: Cao, Yuhan, et al.
Published: (2025)

A Decision-Theoretic Approach for Managing Misalignment
by: Herrmann, Daniel A., et al.
Published: (2025)

A Constraint Programming Approach to Fair High School Course Scheduling
by: Kiyohara, Mitsuka, et al.
Published: (2024)

Linear Social Choice with Few Queries: A Moment-Based Approach
by: Ge, Luise, et al.
Published: (2026)

Candidate nomination for Condorcet-consistent voting rules
by: Schlotter, Ildikó, et al.
Published: (2025)

Condorcet Markets
by: Airiau, Stéphane, et al.
Published: (2023)

Bounds of Block Rewards in Honest PinFi Systems
by: He, Qi, et al.
Published: (2024)

Categorical Approach to Conflict Resolution: Integrating Category Theory into the Graph Model for Conflict Resolution
by: Kato, Yukiko
Published: (2023)

Axioms for AI Alignment from Human Feedback
by: Ge, Luise, et al.
Published: (2024)

Tiny Multi-Agent DRL for Twins Migration in UAV Metaverses: A Multi-Leader Multi-Follower Stackelberg Game Approach
by: Kang, Jiawen, et al.
Published: (2024)

Position: Machine Learning for Heart Transplant Allocation Policy Optimization Should Account for Incentives
by: Anagnostides, Ioannis, et al.
Published: (2026)

Designing Rules to Pick a Rule: Aggregation by Consistency
by: Berker, Ratip Emin, et al.
Published: (2025)