Caterina Urban

What Programs Want: Automatic Inference of Input Data Specifications

2020 · arXiv (Cornell University)

Nowadays, as machine-learned software quickly permeates our society, we are becoming increasingly vulnerable to programming errors in the data pre-processing or training software, as well as errors in the data itself. In this paper, we …

A Review of Formal Methods applied to Machine Learning

2021 · arXiv (Cornell University)

We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature …