conftrace_
← Authors

Harsh Goel

5 papers · 2024–2026 · 5 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
🌍 Conference Polyglot (4) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13)

Conferences

AAAI (1) CORL (1) CVPR (1) ECCV (1) ICML (1)

Top co-authors

Sandeep Chinchali (3) Mohammad Omama (3) Sahil Shah (3) Minkyu Choi (3) S P Sharan (2) Sandeep P. Chinchali (2) Ehsan Moradi Pari (1) Behdad Chalaki (1) Mustafa Munir (1) Yunhao Yang (1)

Keywords

temporal reasoning (1) video understanding (1) formal verification (1) vision language model (1) temporal logic (1) text-to-video generation (1) model checking (1) video evaluation (1) neuro-symbolic method (1) neuro-symbolic reasoning (1) long video question answering (1)

Papers

NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning AAAI 2026 Distributed Upload and Active Labeling for Resource-Constrained Fleet Learning CORL 2025 Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification CVPR 2025 R3DM: Enabling Role Discovery and Diversity Through Dynamics Models in Multi-agent Reinforcement Learning ICML 2025 Towards Neuro-Symbolic Video Understanding ECCV 2024