fd-cex-checker

Description

A Python program to automatically verify the counterexamples in the paper 'Exploring Relations among Fairness Notions in Discrete Fair Division' (https://arxiv.org/abs/2502.02815).

Steps to reproduce

1. Clone the git repository at https://github.com/sharmaeklavya2/fd-cex-checker. 2. From the repository's root, run "curl 'https://sharmaeklavya2.github.io/cpigjs/fairDiv/data.json' -o full_cexs.json" in a terminal. 3. zip the repository's root directory (exclude the .git folder).

Institutions

• University of Illinois Urbana-Champaign

  Illinois, Urbana

Categories

Funders

• U.S. National Science Foundation

  Government of the United States of America

  Alexandria

  Grant ID: CCF-2334461

Licence