Download Fusing AI and Formal Methods for Automated Synthesis