Mathematicians learning Lean by doing.| Xena
MathArena: Evaluating LLMs on Uncontaminated Math Competitions| matharena.ai
