Eric Pacuit

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Characterizations of voting rules based on majority margins 2025 Yifeng Ding
Wesley H. Holliday
Eric Pacuit
+ PDF Chat Social Choice for AI Alignment: Dealing with Diverse Human Feedback 2024 Vincent Conitzer
Rachel A. Freedman
Jobst Heitzig
Wesley H. Holliday
Bob M. Jacobs
Nathan Lambert
Milan Mossé
Eric Pacuit
Stuart Russell
Hailey Schoelkopf
+ PDF Chat Learning to Manipulate under Limited Information 2024 Wesley H. Holliday
Alexander Kristoffersen
Eric Pacuit
+ PDF Chat Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting 2024 Wesley H. Holliday
Chase Norman
Eric Pacuit
Saam Zahedian
+ An extension of May's Theorem to three alternatives: axiomatizing Minimax voting 2023 Wesley H. Holliday
Eric Pacuit
+ Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting 2022 Wesley H. Holliday
Eric Pacuit
Saam Zahedian
+ An Axiomatic Characterization of Split Cycle 2022 Yifeng Ding
Wesley H. Holliday
Eric Pacuit
+ Voting Theory in the Lean Theorem Prover 2021 Wesley H. Holliday
Chase Norman
Eric Pacuit
+ PDF Chat Axioms for defeat in democratic elections 2021 Wesley H. Holliday
Eric Pacuit
+ Stable Voting 2021 Wesley H. Holliday
Eric Pacuit
+ PDF Chat Measuring Violations of Positive Involvement in Voting 2021 Wesley H. Holliday
Eric Pacuit
+ PDF Chat Voting Theory in the Lean Theorem Prover 2021 Wesley H. Holliday
Chase Norman
Eric Pacuit
+ Voting Theory in the Lean Theorem Prover 2021 Wesley H. Holliday
Chase Norman
Eric Pacuit
+ Stable Voting 2021 Wesley H. Holliday
Eric Pacuit
+ Axioms for Defeat in Democratic Elections 2020 Wesley H. Holliday
Eric Pacuit
+ Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers 2020 Wesley H. Holliday
Eric Pacuit
+ Intention as commitment toward time 2020 Marc van Zee
Dragan Doder
Leendert van der Torre
Mehdi Dastani
Thomas Icard
Eric Pacuit
+ Axioms for Defeat in Democratic Elections 2020 Wesley H. Holliday
Eric Pacuit
+ Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers 2020 Wesley H. Holliday
Eric Pacuit
+ PDF Chat Strategic Voting Under Uncertainty About the Voting Method 2019 Wesley H. Holliday
Eric Pacuit
+ Evidence and plausibility in neighborhood structures 2013 Johan van Benthem
David Fernández–Duque
Eric Pacuit
+ When is an Example a Counterexample? 2013 Eric Pacuit
Arthur Paul Pedersen
Jan‐Willem Romeijn
+ Evidence and plausibility in neighborhood structures 2013 Johan van Benthem
David Fernández–Duque
Eric Pacuit
+ PDF Chat Neighbourhood Structures: Bisimilarity and Basic Model Theory 2009 Helle Hvid Hansen
Clemens Kupke
Eric Pacuit
+ Foundations of the Formal Sciences VI: Probabilistic reasoning and reasoning with probabilities 2009 Benedikt Löwe
Eric Pacuit
Jan‐Willem Romeijn
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers 2020 Wesley H. Holliday
Eric Pacuit
5
+ PDF Chat Axioms for defeat in democratic elections 2021 Wesley H. Holliday
Eric Pacuit
4
+ PDF Chat Practical Algorithms for Multi-Stage Voting Rules with Parallel Universes Tiebreaking 2019 Jun Wang
Sujoy Sikdar
Tyler Shepherd
Zhibing Zhao
Chunheng Jiang
Lirong Xia
4
+ PDF Chat Measuring Violations of Positive Involvement in Voting 2021 Wesley H. Holliday
Eric Pacuit
3
+ PDF Chat Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving 2018 Florian Brandl
Felix Brandt
Manuel Eberl
Christian Geist
3
+ The impartial culture maximizes the probability of majority cycles 2003 Ilia Tsetlin
Michel Regenwetter
Bernard Grofman
2
+ PDF Chat Reasoning About Social Choice Functions 2011 Nicolas Troquard
Wiebe van der Hoek
Michael Wooldridge
2
+ PDF Chat Strategic Voting Under Uncertainty About the Voting Method 2019 Wesley H. Holliday
Eric Pacuit
2
+ Analyzing and Modeling Rank Data 1996 David J. Groggel
John I. Marden
2
+ Common voting rules as maximum likelihood estimators 2005 Vincent Conitzer
TĂŒomas Sandholm
2
+ The Existence of a Strategy Proof Voting Procedure 1973 Mark A. Satterthwaite
2
+ Axioms for Defeat in Democratic Elections 2020 Wesley H. Holliday
Eric Pacuit
2
+ Minimax is the best electoral system after all 2016 Richard B. Darlington
2
+ PDF Chat Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects 2011 Christian Geist
Ulle Endriss
1
+ PDF Chat Manipulation of Nanson's and Baldwin's Rules 2011 Nina Narodytska
Toby Walsh
Lirong Xia
1
+ None 2001 H. Peter Gumm
1
+ On tree coalgebras and coalgebra presentations 2003 JiĆ™Ä±Ì AdĂĄmek
Hans-E. Porst
1
+ Letter-Value Plots: Boxplots for Large Data 2017 Heike Hofmann
Hadley Wickham
Karen Kafadar
1
+ Mathematics without Numbers 1993 Geoffrey Hellman
1
+ PDF Chat Strategic voting and the logic of knowledge 2012 Hans van Ditmarsch
JĂ©rĂŽme Lang
Abdallah Saffidine
1
+ PDF Chat Optimal bounds for the no-show paradox via SAT solving 2016 Felix Brandt
Christian Geist
Dominik Peters
1
+ PDF Chat On the structure of stable tournament solutions 2016 Felix Brandt
Markus Brill
Hans Georg Seedig
Warut Suksompong
1
+ PDF Chat A quantitative Gibbard-Satterthwaite theorem without neutrality 2014 Elchanan Mossel
MiklĂłs Z. RĂĄcz
1
+ PDF Chat Robust bounds on choosing from large tournaments 2019 Christian Saile
Warut Suksompong
1
+ The Schulze Method of Voting. 2018 Markus Schulze
1
+ A Mathematical Theory of Evidence 2020 Glenn Shafer
1
+ The Foundations of Statistics. 1955 I. J. Good
Leonard J. Savage
1
+ PDF Chat A Logic for Reasoning about Evidence 2006 Joseph Y. Halpern
Riccardo Pucella
1
+ An Analysis of Random Elections with Large Numbers of Voters. 2020 Matthew Harrison-Trainor
1
+ PDF Chat A Mathematical Analysis of an Election System Proposed by Gottlob Frege 2020 Paul Harrenstein
Marie-Louise Lackner
Martin Lackner
1
+ PDF Chat Neighbourhood Structures: Bisimilarity and Basic Model Theory 2009 Helle Hvid Hansen
Clemens Kupke
Eric Pacuit
1
+ Putting a Compass on the Map of Elections 2021 Niclas Boehmer
Robert Bredereck
Piotr Faliszewski
Rolf Niedermeier
StanisƂaw Szufa
1
+ Escaping Arrow's Theorem: The Advantage-Standard Model 2021 Wesley H. Holliday
Mikayla Kelley
1
+ PDF Chat Voting Theory in the Lean Theorem Prover 2021 Wesley H. Holliday
Chase Norman
Eric Pacuit
1
+ PDF Chat An analysis of random elections with large numbers of voters 2022 Matthew Harrison-Trainor
1
+ Studies in Logic and the Foundations of Mathematics 1990 1
+ Statistical Explanation vs. Statistical Inference 2017 RICHARD C. JEFFREY
1
+ The Schulze Method of Voting 2018 Markus Schulze
1
+ AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version) 2016 Marc van Zee
Dragan Doder
1
+ An Axiomatic Characterization of Split Cycle 2022 Yifeng Ding
Wesley H. Holliday
Eric Pacuit
1
+ PDF Chat Strategic voting and the logic of knowledge 2013 Hans van Ditmarsch
JĂ©rĂŽme Lang
Abdallah Saffidine
1
+ PDF Chat Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting 2024 Wesley H. Holliday
Chase Norman
Eric Pacuit
Saam Zahedian
1
+ A final coalgebra theorem 2005 Peter Aczel
N. P. Mendler
1
+ Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000 2000 Chitta Baral
MirosƂaw TruszczyƄski
1
+ Dominating Manipulations in Voting with Partial Information 2011 Vincent Conitzer
Toby Walsh
Lirong Xia
1
+ PDF Chat How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) 2013 Nils Bulling
Valentin Goranko
1
+ PDF Chat Probability, explanation, and information 1981 Peter Railton
1
+ Probability and Evidence. 1973 Paul Horwich
A. J. Ayer
1
+ PDF Chat Types and coalgebraic structure 2005 H. Peter Gumm
Tobias Schröder
1
+ PDF Chat Set-rationalizable choice and self-stability 2011 Felix Brandt
Paul Harrenstein
1