S P Sharan
4 papers · 2022–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (3) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (12) π§ Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (1)
CVPR (1)
ICML (1)
NIPS (1)
Top co-authors
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
NIPS 2022