7 citations · 9 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.GT2025
Stable Voting and the Splitting of Cycles
Wesley H. Holliday, Milan Mossé, Chase Norman +2
Algorithms for resolving majority cycles in preference aggregation have been studied extensively in computational social choice. Several sophisticated cycle-resolving methods, incl…
cs.LO2025
Canonical for Automated Theorem Proving in Lean
Chase Norman, Jeremy Avigad
Canonical is a solver for type inhabitation in dependent type theory, that is, the problem of producing a term of a given type. We present a Lean tactic which invokes Canonical to…