Popular repositories Loading

1. formal-learning-theory-kernel formal-learning-theory-kernel Public

   Lean4 kernel for synthetic formalization and discovery of statistical learning theory. First and complete formalization of the 5 way fundamental theorem. Typed premise + human-guided, AI-driven pro…

   Lean 11 1

2. First-Proof-Benchmark-Results First-Proof-Benchmark-Results Public

   Empirical analysis of synthetic discovery of non trivial math proofs using frontier models

   2

3. formal-learning-theory-book formal-learning-theory-book Public

   A Textbook of Formal Learning Theory (202pp, 18 chapters) + structured JSON concept graph (142 nodes, 260 edges)

   TeX 1

4. formal-learning-theory-dataset formal-learning-theory-dataset Public

   Structured JSON dataset for formal learning theory + fine-tuned SLM specialized in learning theory formalization

   Python 1

5. formal-learning-theory-discovery formal-learning-theory-discovery Public

   Synthetic math discovery analysis: 74 URS traces, metakernel data, and empirical analysis of 10,000+ exploration paths in formal learning theory

   Lean 1

6. transformer-learning-theory transformer-learning-theory Public

   Lean4 measurability-theoretic foundations for transformer architectures. Attention routing universality, compositional measurability, NullMeasurable necessity. Builds on formal-learning-theory-kernel.

   Lean 1