Specification-Driven Video Search via Foundation Models and Formal
Verification

Specification-Driven Video Search via Foundation Models and Formal Verification

18 September 2023

Jean-Raphael Gaglione

Sandeep P. Chinchali

Ufuk Topcu

Papers citing "Specification-Driven Video Search via Foundation Models and Formal Verification"

6 / 6 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 27 0 0 08 May 2025
We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback Minkyu Choi Sundar Sripada V. S. Harsh Goel Sahil Shah Sandeep P. Chinchali DiffM VGen 86 0 0 24 Apr 2025
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification Sundar Sripada V. S. Minkyu Choi Sahil Shah Harsh Goel Mohammad Omama Sandeep P. Chinchali EGVM 108 2 0 22 Nov 2024
Open-vocabulary Object Detection via Vision and Language Knowledge Distillation Xiuye Gu Tsung-Yi Lin Weicheng Kuo Yin Cui VLM ObjD 223 897 0 28 Apr 2021
Is Space-Time Attention All You Need for Video Understanding? Gedas Bertasius Heng Wang Lorenzo Torresani ViT 278 1,939 0 09 Feb 2021
ImageNet Large Scale Visual Recognition Challenge Olga Russakovsky Jia Deng Hao Su J. Krause S. Satheesh ... A. Karpathy A. Khosla Michael S. Bernstein Alexander C. Berg Li Fei-Fei VLM ObjD 279 39,083 0 01 Sep 2014