Program Synthesis meets Machine Learning - CSA – IISc Bangalore

About this presentation

Program Synthesis meets Machine Learning. Lecture 1, Part (a). Sriram Rajamani. Course logistics. 2 lectures per week: Monday & Wednesday 3:30-5:00PM; Course ...