@article{finetuninglanguagemodelsusingformal,
  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},
  eprint = {2310.18239},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2310.18239v1},
}