Our paper on Synthesis with Explicit Dependencies has been accepted to <a href="https://www.date-conference.com/">DATE 2023</a>. Moreover, it has also received the <b>best paper award nomination</b>.<br>We present an approach that combines advances in machine learning with automated reasoning for efficiently synthesizing functions with explicit dependencies.<br>Joint work with: Subhajit Roy and Kuldeep S. Meel<br>