Notes on Program Synthesis
These are my notes on program synthesis, written while following Prof. Solar-Lezama’s notes on the same topic. I try to summarise the key ideas for each lect...
Recent Posts
Welcome to Jekyll!
You’ll find this post in your _posts directory. Go ahead and edit it and re-build the site to see your changes. You can rebuild the site in many different wa...