Minkyu Choi
5 papers · 2021–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(14)
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
Artificial Intelligence
(3)
Deep Learning
(3)
Core AI · Artificial Intelligence
(3)
Computer Vision
(2)
Learning Types
(2)
Interdisciplinary
(1)
Machine Learning
(1)
Natural Language Processing
(1)
Analysis
(1)
Application Areas
(1)
Architectures
(1)
Cognitive Science
(1)
Core AI · Computer Vision
(1)
Generation
(1)
Resources & Methods
(1)
Keywords
vision-language model
(3)
temporal logic
(2)
multimodal learning
(1)
video understanding
(1)
semantic representation
(1)
scene representation
(1)
formal verification
(1)
visual attention
(1)
visual pathway
(1)
convolutional neural network
(1)
text-to-video generation
(1)
model checking
(1)
state machine
(1)
word embedding
(1)
video evaluation
(1)
neuro-symbolic method
(1)
neuro-symbolic reasoning
(1)
brain-inspired computing
(1)
cross-modal contrastive learning
(1)
grounded semantics
(1)
Papers
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
AAAI 2026
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
CVPR 2025
Towards Neuro-Symbolic Video Understanding
ECCV 2024
A Dual-Stream Neural Network Explains the Functional Segregation of Dorsal and Ventral Visual Pathways in Human Brains
NeurIPS 2023
Explainable Semantic Space by Grounding Language to Vision with Cross-Modal Contrastive Learning
NeurIPS 2021