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).