2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
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…