2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.CV2023
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…
cs.CL2023★ 2 cited
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…
cs.CC2020
Approximating Boolean Functions with Disjunctive Normal Form
Yunhao Yang, Andrew Tan
The theorem states that: Every Boolean function can be by a Disjunctive Normal Form (DNF) of size . This paper will demonstrate this theorem in…