Pinned Loading

1. mathematics_dataset mathematics_dataset Public

   Forked from google-deepmind/mathematics_dataset

   This dataset code generates mathematical question and answer pairs, from a range of question types at roughly school-level difficulty.

   Python 1

2. lean-gym lean-gym Public

   Forked from openai/lean-gym

   Lean

3. ai-agent-lab/dllms ai-agent-lab/dllms Public

   JavaScript 1 1

4. ai-agent-lab/gpt-oss ai-agent-lab/gpt-oss Public

   JavaScript 1 1

5. penfever/arena-hard-auto penfever/arena-hard-auto Public

   Forked from lmarena/arena-hard-auto

   Arena-Hard-Auto: An automatic LLM benchmark.

   Jupyter Notebook 2

6. ctseng777.github.io ctseng777.github.io Public template

   Forked from luost26/academic-homepage

   🏡 GitHub Pages

   HTML