Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems

Download PDF
Open Webpage

Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu

Published: 01 Jan 2024, Last Modified: 14 Aug 2024MLSys 2024EveryoneRevisionsBibTeXCC BY-SA 4.0