<b>Presented a talk on a data driven approach for Boolean function synthesis at 4th Workshop on Learning in Verification (LiVe), ETPAS, 2020 and at Software Engineering Research in India, SERI, 2020</a>.</b>