ML Meets PL Reading List

Languages for Building ML Models

Probabilistic Programming

Differentiable Programming

Building Safe Systems With Learned Components

Verified Machine Learning

Meyer, Anna, Aws Albarghouthi, and Loris D'Antoni. "Certifying robustness to programmable data bias in decision trees." Advances in Neural Information Processing Systems 34 (2021): 26276-26288.

Probabilistic Verification

Leveraging Generative Models

Generative Models for Code

Applications

First, Emily, et al. "Baldur: Whole-Proof Generation and Repair with Large Language Models." arXiv preprint arXiv:2303.04910 (2023).
Cassano, Federico, et al. "Type Prediction With Program Decomposition and Fill-in-the-Type Training." arXiv preprint arXiv:2305.17145 (2023).
Barnaby, Celeste, et al. "ImageEye: Batch Image Processing Using Program Synthesis." arXiv preprint arXiv:2304.03253 (2023).