Formalize the Leshno universal approximation theorem - #246

Open

yuanyi-350 wants to merge 9 commits into

LeanMachineLearning:mainfrom

yuanyi-350:formalize-llps-universal-approximation

Commits on Sep 12, 2026

Commits on Sep 13, 2026

Refactor universal approximation statements and simplify proofs
yuanyi-350
committed
7196327

Commits on Sep 14, 2026

remove useless lemmas
yuanyi-350
committed
618825d

Commits on Sep 23, 2026

solve merge conflicts
yuanyi-350
committed
8476bf7
Fix deprecated rwa syntax
yuanyi-350
committed
6101a70