Minkyu Choi

2
Papers
25
Total Citations

Papers (2)

Towards Neuro-Symbolic Video Understanding

ECCV 2024
19
citations

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

CVPR 2025
6
citations