Math-AI

Popular repositories Loading

1. mathcode mathcode Public

   MathCode: A Frontier Mathematical Coding Agent

   Shell 742 68

2. nanogptpro nanogptpro Public

   Python 8 1

3. IMO2026 IMO2026 Public

   Lean formalizations for the 2026 International Mathematical Olympiad

   Lean 7 3

4. aime26 aime26 Public

   American Invitational Mathematics Examination (AIME) 2026

   HTML 4

5. aime25 aime25 Public

   American Invitational Mathematics Examination (AIME) 2025

   HTML 3

6. FlashSampling FlashSampling Public

   Forked from FlashSampling/FlashSampling

   FlashSampling: Fast and Memory-Efficient Exact Sampling (https://huggingface.co/papers/2603.15854)

   Python 3