Harsh Goel

5 papers · 2024–2026 · 5 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 · Silver 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (11)

Venues

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)

Research topics

Artificial Intelligence (3) Core AI (3) Computer Vision (2) Deep Learning (1) Machine Learning (1) Reinforcement Learning (1) Robotics (1) Application Areas (1) Applications (1) Capabilities (1) Domain-Specific (1) Generation (1) Learning Types (1) Methods (1)

Keywords

temporal logic (2) vision-language model (2) trajectory prediction (1) video understanding (1) formal verification (1) mutual information (1) classification accuracy (1) intrinsic reward (1) active labeling (1) dynamics model (1) text-to-video generation (1) model checking (1) state machine (1) resource constrained (1) role discovery (1) multi-robot system (1) video evaluation (1) neuro-symbolic method (1) neuro-symbolic reasoning (1) complex event identification (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