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 626 132

3. AlexKontorovich/PrimeNumberTheoremAnd AlexKontorovich/PrimeNumberTheoremAnd Public

   Blueprint for the PNT+ Project

   Lean 321 106

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. neural-horner neural-horner Public

   NeuralHorner: a modulus-conditioned bit-serial neural reducer for (a*b) mod p. SAIR Modular Arithmetic Challenge entry + study. Work in progress/Ongoing research.

   TeX

6. spectral-pde-lab spectral-pde-lab Public

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

   TypeScript 1