Add shared weights variant to deep learning thm
34a28de01acb
Actions

Description

Add shared weights variant to deep learning thm

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

thys/

Deep_Learning/

rAFP34a28de01acb

thys/Deep_Learning/DL_Deep_Model.thy

thys/Deep_Learning/DL_Deep_Model_Poly.thy

thys/Deep_Learning/DL_Flatten_Matrix.thy

thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy

thys/Deep_Learning/DL_Network.thy

thys/Deep_Learning/DL_Shallow_Model.thy

Add shared weights variant to deep learning thm34a28de01acbActions

Description

Details

Changes (6)

rAFP34a28de01acb

thys/Deep_Learning/DL_Deep_Model.thy

thys/Deep_Learning/DL_Deep_Model_Poly.thy

thys/Deep_Learning/DL_Flatten_Matrix.thy

thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy

thys/Deep_Learning/DL_Network.thy

thys/Deep_Learning/DL_Shallow_Model.thy

Add shared weights variant to deep learning thm
34a28de01acb
Actions