Official evaluation models and configuration for Stage 1 of the SAIR Mathematics Distillation Challenge: Equational Theories. - View it on GitHub