Pinned Loading

1. openai/parameter-golf openai/parameter-golf Public

   Train the smallest LM you can that fits in 16MB. Best model wins!

   Python 5.1k 3.3k

2. leanprover-community/physlib leanprover-community/physlib Public

   A project to digitalise results from physics into Lean.

   Lean 622 131

3. AlexKontorovich/PrimeNumberTheoremAnd AlexKontorovich/PrimeNumberTheoremAnd Public

   Blueprint for the PNT+ Project

   Lean 318 105

4. FormalSLT FormalSLT Public

   Zero-sorry Lean 4 library of finite-sample statistical learning theory: PAC-Bayes (incl. a five-component test-time meta-bound), VC, Rademacher, sharp McDiarmid, and Dudley chaining. ICML 2026 AI4MATH

   Lean 55 18

5. spectral-pde-lab spectral-pde-lab Public

   Source snapshot of browser-native spectral PDE demos, notes, and Python comparison code

   TypeScript 1

6. logprobe logprobe Public

   Detect normalization errors and entropy bias in LLM logprob data

   Rust