Program Synthesis meets Machine Learning
We give a tutorial overview of program synthesis, from its first formulation by Church in 1957, through its pragmatic evolution through sketching and programing-by-examples, and compare program synthesis with supervised machine learning. We then present our recent efforts in combining program synthesis and machine learning techniques to solve the problem of synthesizing extractors from heterogeneous data. Finally, we explore several opportunities at the intersection of program synthesis (and more broadly the PL community) and machine learning, such as pruning and ranking programs during synthesis, neural program synthesis and automatic differentiation.
See more at https://www.microsoft.com/en-us/research/video/program-synthesi…machine-learning/
Видео Program Synthesis meets Machine Learning канала Microsoft Research
See more at https://www.microsoft.com/en-us/research/video/program-synthesi…machine-learning/
Видео Program Synthesis meets Machine Learning канала Microsoft Research
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![Advanced Machine Learning Day 3: Neural Program Synthesis](https://i.ytimg.com/vi/nlgA2gnwscQ/default.jpg)
![Program Synthesis meets Notebooks](https://i.ytimg.com/vi/Hv6IBT31wrY/default.jpg)
![Simon Peyton Jones, Principal Researcher](https://i.ytimg.com/vi/PTSE779n0nI/default.jpg)
![How to Write a Paper in a Weekend (By Prof. Pete Carr)](https://i.ytimg.com/vi/UY7sVKJPTMA/default.jpg)
![William E Byrd - Relational Interpreters, Program Synthesis, and Barliman - Code Mesh 2017](https://i.ytimg.com/vi/RVDCRlW1f1Y/default.jpg)
![François Chollet: Keras, Deep Learning, and the Progress of AI | Lex Fridman Podcast #38](https://i.ytimg.com/vi/Bo8MY4JpiXE/default.jpg)
![Plain Functional Programming by Martin Odersky](https://i.ytimg.com/vi/YXDm3WHZT5g/default.jpg)
!["Program synthesis for declarative building design" by Drew Wolpert, Andrew Zukoski](https://i.ytimg.com/vi/yJW--wNMv1M/default.jpg)
![Prof. Brian Cox - Machine Learning & Artificial Intelligence - Royal Society](https://i.ytimg.com/vi/YvEIEXE_NL0/default.jpg)
![Program Synthesis for the Masses](https://i.ytimg.com/vi/NAoSTmCUlW0/default.jpg)
!["Type-Driven Program Synthesis" by Nadia Polikarpova](https://i.ytimg.com/vi/HnOix9TFy1A/default.jpg)
![Ilya Sutskever: OpenAI Meta-Learning and Self-Play | MIT Artificial General Intelligence (AGI)](https://i.ytimg.com/vi/9EN_HoEk3KY/default.jpg)
![The Future of Mathematics?](https://i.ytimg.com/vi/Dp-mQ3HxgDE/default.jpg)
![CUDA Explained - Why Deep Learning uses GPUs](https://i.ytimg.com/vi/6stDhEA0wFQ/default.jpg)
![Learning to Code: Machine Learning for Program Induction](https://i.ytimg.com/vi/vzDuVhFMB9Q/default.jpg)
![Microsoft CEO Satya Nadella On The Cloud Computing Industry And The Future Of Microsoft | CNBC](https://i.ytimg.com/vi/mwDVayzR258/default.jpg)
![Neural Program Synthesis, CS379C Stanford lecture](https://i.ytimg.com/vi/2rxNwz7CI48/default.jpg)
![The Simple Essence of Automatic Differentiation - Conal Elliott](https://i.ytimg.com/vi/ne99laPUxN4/default.jpg)
![Quantum Computing for Computer Scientists](https://i.ytimg.com/vi/F_Riqjdh2oM/default.jpg)
!["You are a Program Synthesizer" by James Koppel](https://i.ytimg.com/vi/ldkF-4WNZqA/default.jpg)