deep neural networks
Software / App
Current machine learning systems that are described as opaque and not formally specified enough for formal proofs of behavior.
Mentioned in 3 videos
Videos Mentioning deep neural networks
Mathematical Approaches to Image Processing with Carola Schönlieb
Y Combinator
Modern approaches to image denoising that are increasingly outperforming classical handcrafted methods, though with potential issues in generalization.
Judea Pearl: Causal Reasoning, Counterfactuals, and the Path to AGI | Lex Fridman Podcast #56
Lex Fridman
A type of machine learning model that uses multiple layers of artificial neurons to learn complex patterns from data.
AI & Logical Induction - Computerphile
Computerphile
Current machine learning systems that are described as opaque and not formally specified enough for formal proofs of behavior.