Pinned Loading

1. providence providence Public

   Providence is a flexible round-by-round Risk-Limiting Audit. See the r2b2 repository for a more thorough implementation.

   Jupyter Notebook 1

2. imprecise imprecise Public

   Simulation and testing software for scheduling algorithms with the imprecise computation model for real-time AI.

   Python 3 2

3. electoral-systems electoral-systems Public

   Simulations for comparing electoral systems: plurality, instant-runoff, and an interesting game-theoretic approach...

   Python 1

4. paradox-learning2reason paradox-learning2reason Public

   Forked from joshuacnf/paradox-learning2reason

   Further experiments with language models on SimpleLogic

   Python 1

5. new_stratified new_stratified Public

   My exploratory implementation of a novel mathematical approach for stratified (hybrid) risk-limiting audits.

   Python 1