The below were written for a semi- or non-technical audience, and only address your curiosity tangentially, but better than nothing:

* Program synthesis overview: https://medium.com/@vidiborskiy/software-writes-software-pro...

* Program synthesis to make smart contract security more accessible: https://medium.com/@vidiborskiy/program-synthesis-smart-cont...

* Synthetic Minds (that is us): https://synthetic-minds.com/

You can help by telling me what questions would be most informative to answer. Promise to write a post addressing them directly.