On Making Mathematic Proof a Business: Byron Cook
1:10:58
Trends in Deep Learning Hardware: Bill Dally (NVIDIA)
56:19
Raisonnement automatisé pour prévenir les hallucinations du LLM avec Byron Cook - 712
1:27:29
Value Props: Create a Product People Will Actually Buy
18:02
Automated Mathematical Proofs - Computerphile
18:14
Interview of Arthur Gretton ML Researcher at Google DeepMind
59:50
Leslie Lamport: Thinking Above the Code
56:54
Parables on the Power of Planning in AI: From Poker to Diplomacy: Noam Brown (OpenAI)
57:03