Proportional Budget Allocations: Towards a Systematization

Authors: Maaike Los, ZoƩ Christoff, Davide Grossi

IJCAI 2022 | Conference PDF | Archive PDF | Plain Text | LLM Run Details

Reproducibility Variable Result LLM Response
Research Type Theoretical We define novel proportionality axioms for participatory budgeting and test them on known proportionality-driven rules such as Phragm en and Rule X. We investigate logical implications among old and new axioms and provide a systematic overview of proportionality criteria in participatory budgeting. (Abstract) and Second, we provide an overview of the logical relations between proportionality axioms in MWV and PB, establishing several novel results (see Figure 1). The resulting picture contributes to a systematization of how proportionality is interpreted in PB. Only selected proofs are provided. (Contribution section)
Researcher Affiliation Academia 1University of Groningen 2University of Amsterdam {m.d.los, z.l.christoff, d.grossi}@rug.nl
Pseudocode No The paper describes voting rules in prose, but it does not include any structured pseudocode or algorithm blocks.
Open Source Code No The paper does not provide any specific repository links or explicit statements about the release of open-source code for the described methodology.
Open Datasets No The paper is theoretical and does not use datasets for training, evaluation, or hypothesis validation. Examples are provided for illustration purposes only, without any indication of public availability or access.
Dataset Splits No The paper is theoretical and does not involve empirical evaluation with data, hence no training, validation, or test splits are defined or used.
Hardware Specification No The paper is theoretical and does not describe any empirical experiments, therefore no hardware specifications are provided.
Software Dependencies No The paper is theoretical and does not detail any specific software dependencies with version numbers required for replication.
Experiment Setup No The paper is theoretical and does not involve an experimental setup with specific hyperparameters or system-level training settings.