Skip to yearly menu bar Skip to main content


(5 events)   Timezone:  
Show all
Toggle Poster Visibility
Talk
Tue Aug 08 02:30 PM -- 02:48 PM (KST) @ C4.1
Learning to Align the Source Code to the Compiled Object Code
In ML and programming
Dor Levy · Lior Wolf
[ PDF]  [ ss Summary/Notes]  [ Video] 
Talk
Tue Aug 08 02:48 PM -- 03:06 PM (KST) @ C4.1
RobustFill: Neural Program Learning under Noisy I/O
In ML and programming
Jacob Devlin · Jonathan Uesato · Surya Bhupatiraju · Rishabh Singh · Abdelrahman Mohammad · Pushmeet Kohli
[ PDF]  [ ss Summary/Notes]  [ Video] 
Talk
Tue Aug 08 03:06 PM -- 03:24 PM (KST) @ C4.1
Programming with a Differentiable Forth Interpreter
In ML and programming
Matko Bošnjak · Tim Rocktäschel · Jason Naradowsky · Sebastian Riedel
[ PDF]  [ ss Summary/Notes]  [ Video] 
Talk
Tue Aug 08 03:24 PM -- 03:42 PM (KST) @ C4.1
Differentiable Programs with Neural Libraries
In ML and programming
Alex Gaunt · Marc Brockschmidt · Nate Kushman · Daniel Tarlow
[ PDF]  [ ss Summary/Notes]  [ Video] 
Talk
Tue Aug 08 03:42 PM -- 04:00 PM (KST) @ C4.1
Developing Bug-Free Machine Learning Systems With Formal Mathematics
In ML and programming
Daniel Selsam · Percy Liang · David L Dill
[ PDF]  [ ss Summary/Notes]  [ Video]