60 citations · 61 across the 3 of their papers we have counts for
1 paper · 2 filters
Siddharth Chatterjee, Arunava Sen
Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on two papers, one…