(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
Dor Levy · Lior Wolf
Talk
Mon Aug 07 10:48 PM -- 11:06 PM (PDT) @ C4.1
RobustFill: Neural Program Learning under Noisy I/O
Jacob Devlin · Jonathan Uesato · Surya Bhupatiraju · Rishabh Singh · Abdelrahman Mohammad · Pushmeet Kohli
Talk
Mon Aug 07 11:06 PM -- 11:24 PM (PDT) @ C4.1
Programming with a Differentiable Forth Interpreter
Matko Bošnjak · Tim Rocktäschel · Jason Naradowsky · Sebastian Riedel
Talk
Mon Aug 07 11:24 PM -- 11:42 PM (PDT) @ C4.1
Differentiable Programs with Neural Libraries
Alex Gaunt · Marc Brockschmidt · Nate Kushman · Daniel Tarlow
Talk
Mon Aug 07 11:42 PM -- 12:00 AM (PDT) @ C4.1
Developing Bug-Free Machine Learning Systems With Formal Mathematics
Daniel Selsam · Percy Liang · David L Dill