@misc{indiciae2cf24c78e320,
  title = {Fine-Tuning Language Models Using Formal Methods Feedback},
  author = {Yunhao Yang and Neel P. Bhatt and Tyler Ingebrand and William Ward and Steven Carr and Zhangyang Wang and Ufuk Topcu},
  year = {2023},
  url = {https://arxiv.org/abs/2310.18239},
  note = {Source identifier: 2310.18239}
}