@article{whatkindsofcontractsdomlapisneed,
  title = {What Kinds of Contracts Do ML APIs Need?},
  author = {Samantha Syeda Khairunnesa and Shibbir Ahmed and Sayem Mohammad Imtiaz and Hridesh Rajan and Gary T. Leavens},
  year = {2023},
  eprint = {2307.14465},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2307.14465v1},
}