21 citations · 39 across the 21 of their papers we have counts for
4 papers · 1 filter
Fine-Tuning Language Models Using Formal Methods Feedback
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand +4
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks.…
Specification-Driven Video Search via Foundation Models and Formal Verification
Yunhao Yang, Jean-Raphaël Gaglione, Sandeep Chinchali +1
The increasing abundance of video data enables users to search for events of interest, e.g., emergency incidents. Meanwhile, it raises new concerns, such as the need for preserving…
On the Planning, Search, and Memorization Capabilities of Large Language Models
Yunhao Yang, Anshul Tomar
The rapid advancement of large language models, such as the Generative Pre-trained Transformer (GPT) series, has had significant implications across various disciplines. In this st…
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Yunhao Yang, Cyrus Neary, Ufuk Topcu
Recently developed pretrained models can encode rich world knowledge expressed in multiple modalities, such as text and images. However, the outputs of these models cannot be integ…