TY  - RPRT
TI  - Fine-Tuning Language Models Using Formal Methods Feedback
AU  - Yunhao Yang
AU  - Neel P. Bhatt
AU  - Tyler Ingebrand
AU  - William Ward
AU  - Steven Carr
AU  - Zhangyang Wang
AU  - Ufuk Topcu
PY  - 2023
UR  - https://arxiv.org/abs/2310.18239
ID  - 2310.18239
ER  -