Mathematics Distillation Challenge, Equational Theories. Stage 1 cheatsheet and Stage 2 Lean 4 certificate solver for the SAIR Foundation competition.
competition algebra mathematics lean formal-verification knowledge-distillation magma universal-algebra equational-reasoning automated-theorem-proving lean4 counterexamples ameythakur amey sair ameyarc equational-theories amey-thakur mathematics-distillation sair-foundation
-
Updated
Aug 29, 2026 - Lean