Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged (abendkamp/afp-devel/deep_learning)
  2. Deep Learning: add types in defs
  3. Remove old todo
  4. Remove use of Hilbert choice
  5. Add shared weights variant to deep learning thm
  6. interpretations for locales in deep learning
Changeset 8942:8f51fae20e02 by johannes hölzl _johannes.hoelzl@posteo.de_:
merged (abendkamp/afp-devel/deep_learning)
Changeset 8941:ae67958736e6 by alexander bentkamp _a.bentkamp@vu.nl_:
Deep Learning: add types in defs
The file was modified thys/Deep_Learning/DL_Deep_Model.thy (diff)
The file was modified thys/Deep_Learning/DL_Deep_Model_Poly.thy (diff)
Changeset 8940:5b050023d51e by alexander bentkamp _a.bentkamp@vu.nl_:
Remove old todo
The file was modified thys/Deep_Learning/DL_Deep_Model_Poly.thy (diff)
Changeset 8939:d17090cd59d8 by alexander bentkamp _a.bentkamp@vu.nl_:
Remove use of Hilbert choice
The file was modified thys/Deep_Learning/DL_Deep_Model.thy (diff)
Changeset 8938:34a28de01acb by alexander bentkamp _a.bentkamp@vu.nl_:
Add shared weights variant to deep learning thm
The file was modified thys/Deep_Learning/DL_Deep_Model.thy (diff)
The file was modified thys/Deep_Learning/DL_Deep_Model_Poly.thy (diff)
The file was modified thys/Deep_Learning/DL_Flatten_Matrix.thy (diff)
The file was modified thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy (diff)
The file was modified thys/Deep_Learning/DL_Network.thy (diff)
The file was modified thys/Deep_Learning/DL_Shallow_Model.thy (diff)
Changeset 8937:c5bcbcf48fca by alexander bentkamp _a.bentkamp@vu.nl_:
interpretations for locales in deep learning
The file was modified thys/Deep_Learning/DL_Deep_Model.thy (diff)