Pacuit, Eric
- Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback
2024/04/16 by Vincent Conitzer, Rachel Freedman, Conitzer, Vincent +21 · 1 voice · 36 citations
#cs.LG #cs.AI #cs.CL #cs.CY #cs.GT
- Evidence and plausibility in neighborhood structures
2013/07/04 by van Benthem, Johan, Fernández-Duque, David, Pacuit, Eric · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Voting Theory in the Lean Theorem Prover
2021/10/16 by Wesley H. Holliday, Chase Norman, Holliday, Wesley H. +3 · 1 citation
Computer Science · Economics, Econometrics and Finance · #03B70 #68V15 #91B12 #91B14 #FOS: Computer and information sciences #Game Theory and Voting Systems #I.2.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems