S P Sharan

4 papers · 2022–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 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird

Venues

AAAI (1) CVPR (1) ICML (1) NeurIPS (1)

Top co-authors

Wenqing Zheng (2) Sandeep Chinchali (2) Sahil Shah (2) Minkyu Choi (2) Harsh Goel (2) Zhangyang Wang (2) Jiarong Xing (1) Radu Marculescu (1) Mohammad Omama (1) Yihan Xi (1)

Research topics

Artificial Intelligence (4) Core AI (4) Machine Learning (2) Computer Vision (1) Deep Learning (1) Natural Language Processing (1) Application Areas (1) Core Methods (1) Generation · Natural Language Processing (1) Generation · Computer Vision (1) Learning Types (1) Optimization & Theory (1)

Keywords

reinforcement learning (1) knowledge distillation (1) temporal reasoning (1) code generation (1) video understanding (1) formal verification (1) hierarchical representation (1) vision-language model (1) temporal logic (1) text-to-video generation (1) model checking (1) chain-of-thought prompting (1) symbolic regression (1) congestion control (1) hierarchical generation (1) syntax tree (1) symbolic expression (1) video evaluation (1) neuro-symbolic method (1) neuro-symbolic reasoning (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 Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation ICML 2023 Symbolic Distillation for Learned TCP Congestion Control NeurIPS 2022