Skip to yearly menu bar Skip to main content


(5 events)   Timezone:  
Show all
Toggle Poster Visibility
Talk
Mon Aug 07 10:30 PM -- 10:48 PM (PDT) @ 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
Mon Aug 07 10:48 PM -- 11:06 PM (PDT) @ 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
Mon Aug 07 11:06 PM -- 11:24 PM (PDT) @ 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
Mon Aug 07 11:24 PM -- 11:42 PM (PDT) @ 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
Mon Aug 07 11:42 PM -- 12:00 AM (PDT) @ 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]