Fine-Tuning Language Models Using Formal Methods Feedback

Fine-Tuning Language Models Using Formal Methods Feedback

27 October 2023

Tyler Ingebrand

Ufuk Topcu

Papers citing "Fine-Tuning Language Models Using Formal Methods Feedback"

4 / 4 papers shown

Title
Real-Time Privacy Preservation for Robot Visual Perception Minkyu Choi Yunhao Yang N. Bhatt Kushagra Gupta Sahil Shah Aditya Rai David Fridovich-Keil Ufuk Topcu Sandeep P. Chinchali 22 0 0 08 May 2025
Specification-Driven Video Search via Foundation Models and Formal Verification Yunhao Yang Jean-Raphael Gaglione Sandeep P. Chinchali Ufuk Topcu 47 5 0 18 Sep 2023
Autoformalization with Large Language Models Yuhuai Wu Albert Q. Jiang Wenda Li M. Rabe Charles Staats M. Jamnik Christian Szegedy AI4CE 108 156 0 25 May 2022
Training language models to follow instructions with human feedback Long Ouyang Jeff Wu Xu Jiang Diogo Almeida Carroll L. Wainwright ... Amanda Askell Peter Welinder Paul Christiano Jan Leike Ryan J. Lowe OSLM ALM 301 11,730 0 04 Mar 2022