Popular repositories Loading

1. lemmaforge lemmaforge Public

   Certified discovery pipeline for exact worst-case tail bounds under bounded kurtosis

   Python 2

2. multiclass-pac-learning multiclass-pac-learning Public

   Lean 4 + Mathlib formalization of 'Optimistic Rates for Multiclass PAC Learning' — relative compression theorem, three-block assembly, and the exactly calibrated lower bound; no sorry, axiom-clean.

   Lean 2

3. language-generation-characterization language-generation-characterization Public

   Lean formalization of finite-witness characterization and the separation-width hierarchy; based on generation-in-the-limit-lib by Shuangping Li and Peng Zhang.

   Lean 1

4. peft-atlas peft-atlas Public

   A Categorical Atlas of Parameter-Efficient Fine-Tuning: Cones, Orbits, and Gauges. Paper, interactive companion, catalogue and explainer film.

   JavaScript

5. mat1510-math-for-ai-safety-notes mat1510-math-for-ai-safety-notes Public

   Unofficial LaTeX lecture notes (Lectures 1–8, 222 pp.) for MAT1510 Mathematics for AI Safety (Fields Institute / University of Toronto, Fall 2026): scaling laws, generalization, grokking, how LLMs …

   TeX

6. singularity-distribution singularity-distribution Public

   Code and numerical outputs for 'The Singularity Has a Distribution: Exact Timing Laws and Detection Limits for a Stochastic Intelligence Explosion'

   Python