5   Show all »
5 The schedule is still incomplete Program Highlights »
Toggle Poster Visibility
Talk
Tue Aug 8th 03:30 -- 03:48 PM @ C4.1
Learning to Align the Source Code to the Compiled Object Code
Dor Levy · Lior Wolf
Talk
Tue Aug 8th 03:48 -- 04:06 PM @ C4.1
RobustFill: Neural Program Learning under Noisy I/O
Jacob Devlin · Jonathan Uesato · Surya Bhupatiraju · Rishabh Singh · Abdelrahman Mohammad · Pushmeet Kohli
Talk
Tue Aug 8th 04:06 -- 04:24 PM @ C4.1
Programming with a Differentiable Forth Interpreter
Matko Bošnjak · Tim Rocktäschel · Jason Naradowsky · Sebastian Riedel
Talk
Tue Aug 8th 04:24 -- 04:42 PM @ C4.1
Differentiable Programs with Neural Libraries
Alex Gaunt · Marc Brockschmidt · Nate Kushman · Daniel Tarlow
Talk
Tue Aug 8th 04:42 -- 05:00 PM @ C4.1
Developing Bug-Free Machine Learning Systems With Formal Mathematics
Daniel Selsam · Percy Liang · David L Dill