#769 on Reddit
Program Synthesis
MIT
2 recommenders · 2 threads · recommended in 1 year, 2023 · score 1.7
A graduate-level MIT course on program synthesis, taught by Armando Solar-Lezama, covering methods for automatically generating programs from specifications, examples, or partial sketches. It is delivered as online course notes.
Commenters point to it as a solid reference for the field, with one calling it MIT's excellent course on program synthesis and another recommending the course notes for understanding what is novel in the area.
Programming Languagesadvancedfreeself-paced text#program synthesis#sketching#solar-lezama#formal methods#mit
Recommendations by year
20232023
MIT's excellent course on program synthesis: https://people.csail.mit.edu/asolar/SynthesisCourse/
You're on the right track, but I do research on differentiable program synthesis and agree with your reviewers that the idea is preliminary (this has been done before in multiple ways). Still, I encourage you to continue trying and recommend reading more work in the field to better understand…