@misc{indiciae435d02c208ff,
  title = {Verifying Solutions to Semantics-Guided Synthesis Problems},
  author = {Charlie Murphy and Keith Johnson and Thomas Reps and Loris D'Antoni},
  year = {2025},
  url = {https://arxiv.org/abs/2408.15475},
  note = {Source identifier: 2408.15475}
}