Mathematics Distillation Challenge - Equational Theories - Stage2
Stage 2 of the SAIR Mathematics Distillation Challenge (Equational Theories): contestants submit a solver that, for each pair of equations (Eq1, Eq2), produces...
Lean solver & judge (GitHub)
All SAIR competitions · SAIR Foundation