Mathematics Distillation Challenge - Equational Theories - Stage1

This competition explores in-context mathematical distillation: participants submit compact, human-readable cheatsheets to help LLMs decide whether Equation 1...

Code & judge (GitHub)

All SAIR competitions · SAIR Foundation