Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
program_induction [2018/03/29 01:16]
admin
program_induction [2018/09/05 10:37]
admin
Line 249: Line 249:
  
 https://​deepmind.com/​blog/​learning-to-generate-images/​ Learning to write programs that generate images https://​deepmind.com/​blog/​learning-to-generate-images/​ Learning to write programs that generate images
 +
 +
 +
 +https://​www.microsoft.com/​en-us/​research/​publication/​neural-guided-deductive-search-real-time-program-synthesis-examples/​ Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
 +
 +. In this work, we propose Neural Guided Deductive Search (NGDS), a hybrid synthesis technique that combines the best of both symbolic logic techniques and statistical models. Thus, it produces programs that satisfy the provided specifications by construction and generalize well on unseen examples, similar to data-driven systems. Our technique effectively utilizes the deductive search framework to reduce the learning problem of the neural component to a simple supervised learning setup. Further, this allows us to both train on sparingly available real-world data and still leverage powerful recurrent neural network encoders. We demonstrate the effectiveness of our method by evaluating on real-world customer scenarios by synthesizing accurate programs with up to 12× speed-up compared to state-of-the-art systems.
 +
 +https://​arxiv.org/​abs/​1804.00218v1 Synthesis of Differentiable Functional Programs for Lifelong Learning
 +