1. Leveraging Parallel Data Processing Frameworks with Verified Lifting
2. Optimization and abstraction: a synergistic approach for analyzing neural network robustness
3. Matej Balog , Alexander L Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2017 . Deepcoder: Learning to write programs . In Proc. International Conference on Learning Representations. OpenReview. https://doi.org/10 .48550/arXiv.1611.01989 10.48550/arXiv.1611.01989 Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017. Deepcoder: Learning to write programs. In Proc. International Conference on Learning Representations. OpenReview. https://doi.org/10.48550/arXiv.1611.01989
4. Just-in-time learning for bottom-up enumerative synthesis
5. AutoPandas: neural-backed generators for program synthesis