Skip to content

Lean: same-law weight perturbation and stable normalization - #292

Merged
2 commits merged into
mainfrom
chatgpt/lean-weight-perturbation-20261005
Oct 5, 2026
Merged

Lean: same-law weight perturbation and stable normalization#292
2 commits merged into
mainfrom
chatgpt/lean-weight-perturbation-20261005

formal: repair pinned triangle-inequality lemma reference

8739dbe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar