Subhankar JanaPhD StudentFormal Verification in Deep Learning, Program Synthesis Advisor: Kumar Madhukar, Priyanka Golia