aimo

AIMO data, experiments and submissions

Google doc with notes.

Main contributions

1. Final score 17/50 on a private test, 20/50 on a public test. (top 7%, Kaggle "Bronze" medal)
2. Script to run AlphaGeometry in collab.
3. Increased inference speed on 2x T4 from 20 toks/sec up to 2000 toks/sec.
4. Experiments with features to select correct solution in speculative sampling.