Partial Verification as a Substitute for Money
Authors: Sofia Ceppi, Ian Kash, Rafael Frongillo1837-1844
AAAI 2019 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Our techniques leverage the geometric relationship between the type space and the set of possible allocations. We introduce the concept of the harmless set of types as those which do not need to be verified for a given set of single-agent allocation rules. Our basic building block is a characterization of the structure of harmless sets for allocation rules which only assign two possible allocations and are implementable with payments. We then show how this can be extended to characterize harmless sets for more general sets of single-agent implementable-with-payments allocation rules. Our results are constructive and provide geometric insights for these findings. The central contribution of our approach is its generality: our analysis could in principle be applied to any mechanism or class of mechanisms. |
| Researcher Affiliation | Collaboration | Sofia Ceppi,1 Ian Kash,2 Rafael Frongillo3 1PROWLER.io, 2University of Illinois at Chicago 3University of Colorado Boulder |
| Pseudocode | No | The paper does not contain any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper states "See the extended version of this paper on Ar Xiv 1 for further discussion about the extensions, more examples, and missing proofs." with a footnote providing a link to an ArXiv paper (https://arxiv.org/abs/1812.07312), which is not a code repository or an explicit statement of code release. |
| Open Datasets | No | The paper is theoretical and uses conceptual examples and mathematical definitions rather than empirical datasets. There is no mention of a dataset used for training or public availability of any dataset. |
| Dataset Splits | No | The paper is theoretical and does not describe experiments using datasets, so there is no information about training, validation, or test splits. |
| Hardware Specification | No | The paper is theoretical and does not report on empirical experiments, therefore no hardware specifications are mentioned. |
| Software Dependencies | No | The paper is theoretical and does not describe any software implementation or experiments, therefore no software dependencies or versions are listed. |
| Experiment Setup | No | The paper is theoretical and does not describe empirical experiments, thus no experimental setup details such as hyperparameters are provided. |