Deep Learning Contrasted

Tim and Alex discuss the contrast between imbuing knowledge into systems and deep learning's reliance on arbitrary geometric spaces. They explore the need for formal guarantees in deep learning applications, especially in critical scenarios like autonomous driving. Alex suggests introducing type theory to deep learning for enhanced safety and reliability.