Scientific code, numerical experiments, and selected Lean formalizations for PLDR-LLM training and inference dynamics: row-map collapse, renormalization, and predictive reduction.
machine-learning formal-verification renormalization training-dynamics numerical-experiments lean4 large-language-models pldr-llm inference-dynamics row-map-collapse predictive-reduction
-
Updated
Oct 6, 2026 - Python