Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification

22 November 2024

Papers citing "Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification"

2 / 2 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 12 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 79 0 0 24 Apr 2025