Pinned Loading

1. lean4_textbook lean4_textbook Public

   Lean 1 1

2. IMO-formalization IMO-formalization Public

   Lean 1

3. llm_from_scratch llm_from_scratch Public

   Python

4. auto-res/lean-rademacher auto-res/lean-rademacher Public

   Lean Formalization of Generalization Error Bound by Rademacher Complexity

   Lean 15 3

5. auto-res/LeanConjecturer auto-res/LeanConjecturer Public

   Python 7