The Semi-Random Satisfaction of Voting Axioms

Authors: Lirong Xia

NeurIPS 2021 | Conference PDF | Archive PDF | Plain Text | LLM Run Details

Reproducibility Variable Result LLM Response
Research Type Experimental Table 2 summarizes corollaries of our results under some commonly-studied voting rules w.r.t. IC as well as the satisfaction of CC and PAR on Preflib data [35], where Θ(1) (1 Θ(1)) means that there exists constants 0 < α < β 1 that do not depend on n, such that the likelihood is in [α, β]. Experimental results are presented in Appendix G. Additionally, Appendix G is titled 'Experimental Results on Preflib Data' and states 'To test the predictions of our theory, we analyze the satisfaction of CC and PAR on PrefLib data [35].'
Researcher Affiliation Academia Lirong Xia RPI, Troy, NY 12180, USA xialirong@gmail.com
Pseudocode No The paper describes its methods using mathematical definitions, theorems, and proofs, but does not include any structured pseudocode or algorithm blocks.
Open Source Code No The paper does not provide any explicit statement about releasing its source code or a link to a code repository for the methodology described.
Open Datasets Yes The PrefLib data is publicly available at http://www.preflib.org. We download the complete set of 315 profiles of linear orders under the elections category... [35]
Dataset Splits No The paper uses the PrefLib dataset and scales profiles to n=1000 votes, but it does not specify any training, validation, or test dataset splits, nor does it mention cross-validation setup.
Hardware Specification No The paper does not provide specific details about the hardware (e.g., GPU models, CPU types, or memory) used to run its experiments.
Software Dependencies No The paper does not provide specific software dependencies, such as library names with version numbers, required to replicate the experiments.
Experiment Setup Yes In Appendix G, the paper states, 'For any profile, we scale it so that the total number of votes is n = 1000,' which describes a specific setting for processing the PrefLib data.