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.2k 3.3k

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

   A project to digitalise results from physics into Lean.

   Lean 710 172

3. AlexKontorovich/PrimeNumberTheoremAnd AlexKontorovich/PrimeNumberTheoremAnd Public

   Blueprint for the PNT+ Project

   Lean 340 115

4. FormalSLT FormalSLT Public

   Machine-checked statistical learning theory in Lean 4: empirical-Bernstein and time-uniform PAC-Bayes, Markov risk, Rademacher/VC, and Dudley chaining.

   Lean 34 9

5. neural-horner neural-horner Public

   NeuralHorner: learned bit-serial modular arithmetic, with studies of exactness, length transfer, compression, structured failures, and a Lean-verified integer scaffold.

   Python 2

6. discocat-lean-certificates discocat-lean-certificates Public

   Lean 4 typing certificates for DisCoCat pregroup reductions. Sound and complete for the lex-free cup/cap fragment; empty axiom sets. Quantum AI and NLP 2026

   Lean