Skip to content

Formalize the Leshno universal approximation theorem - #246

Open
yuanyi-350 wants to merge 9 commits into
LeanMachineLearning:mainfrom
yuanyi-350:formalize-llps-universal-approximation
Open

Formalize the Leshno universal approximation theorem#246
yuanyi-350 wants to merge 9 commits into
LeanMachineLearning:mainfrom
yuanyi-350:formalize-llps-universal-approximation

Fix deprecated rwa syntax

6101a70
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs