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 689 160

3. AlexKontorovich/PrimeNumberTheoremAnd AlexKontorovich/PrimeNumberTheoremAnd Public

   Blueprint for the PNT+ Project

   Lean 336 111

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 38 12

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.

   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