Published Jun 12, 2017
19 - End-to-end Differentiable Proving, with Tim Rocktäschel
Tim Rocktäschel delves into end-to-end differentiable proving, exploring neural proof construction, symbolic logic limits, and the integration of logic with neural networks to advance reasoning capabilities, highlighting innovations in scalable proving techniques and backward training mechanisms.
Topics covered
Popular Clips
Episode Highlights
Related Episodes
20 - A simple neural network module for relational reasoning
Answers 383 questions
04 - Recurrent Neural Network Grammars, with Chris Dyer
Answers 383 questions28 - Data Programming: Creating Large Training Sets, Quickly
Answers 383 questions25 - Neural Semantic Parsing over Multiple Knowledge-bases
Answers 383 questions
54 - Simulating Action Dynamics with Neural Process Networks, with Antoine Bosselut
Answers 383 questions
29 - Neural machine translation via binary code prediction, with Graham Neubig
Answers 383 questions
81 - BlackboxNLP, with Afra Alishahi and Tal Linzen
Answers 383 questions
83 - Knowledge Base Construction, with Sebastian Riedel
Answers 383 questions
34 - Translating Neuralese, with Jacob Andreas
Answers 383 questions
35 - Replicability Analysis for Natural Language Processing, with Roi Reichart
Answers 383 questions
06 - Design Challenges for Entity Linking
Answers 383 questions
