@misc{indiciae598206764de1,
  title = {Metric Program Synthesis},
  author = {John Feser and Isil Dillig and Armando Solar-Lezama},
  year = {2022},
  url = {https://arxiv.org/abs/2206.06164},
  note = {Source identifier: 2206.06164}
}