Gauntlet

https://arxiv.org/abs/2006.01074

The old organization for the Gauntlet project. Migrated to https://github.com/nyu-systems/gauntlet.