Learning And Logic For Formal Synthesis