Skip to yearly menu bar Skip to main content


(5 events)   Time zone: Conference local time zone  
Show all
Toggle Poster Visibility
Talk
Tue Aug 08 03:30 PM -- 03:48 PM (AEST) @ 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 03:48 PM -- 04:06 PM (AEST) @ 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 04:06 PM -- 04:24 PM (AEST) @ 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 04:24 PM -- 04:42 PM (AEST) @ 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 04:42 PM -- 05:00 PM (AEST) @ 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]