%0 Journal Article %1 journals/corr/abs-2310-18239 %A Yang, Yunhao %A Bhatt, Neel P. %A Ingebrand, Tyler %A Ward, William %A Carr, Steven %A Wang, Zhangyang %A Topcu, Ufuk %D 2023 %J CoRR %K dblp %T Fine-Tuning Language Models Using Formal Methods Feedback. %U http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-18239 %V abs/2310.18239

@article{journals/corr/abs-2310-18239, added-at = {2023-11-02T00:00:00.000+0100}, author = {Yang, Yunhao and Bhatt, Neel P. and Ingebrand, Tyler and Ward, William and Carr, Steven and Wang, Zhangyang and Topcu, Ufuk}, biburl = {https://www.bibsonomy.org/bibtex/25d29838d2162489b6aebf59e26cf5ca0/dblp}, ee = {https://doi.org/10.48550/arXiv.2310.18239}, interhash = {1ca02d717493110372906ff626e5da98}, intrahash = {5d29838d2162489b6aebf59e26cf5ca0}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:53:39.000+0200}, title = {Fine-Tuning Language Models Using Formal Methods Feedback.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2310.html#abs-2310-18239}, volume = {abs/2310.18239}, year = 2023 }