← Search

S P Sharan

5 accepted papers

2026

NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning

AAAI 2026technical

While vision-language models (VLMs) excel at tasks involving single images or short videos, they still struggle with Long Video Question Answering (LVQA) due to its demand for complex multi-step temporal reasoning. Vanilla approaches, which simply sample frames uniformly and feed them to a VLM along

Cited by 0SourcePDFScholar
2025

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification

CVPR 2025poster

Recent advancements in text-to-video models such as Sora, Gen-3, MovieGen, and CogVideoX are pushing the boundaries of synthetic video generation, with adoption seen in fields like robotics, autonomous driving, and entertainment. As these models become prevalent, various metrics and benchmarks have…

2023

Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation

ICML 2023poster

For a complicated algorithm, its implementation by a human programmer usually starts with outlining a rough control flow followed by iterative enrichments, eventually yielding carefully generated syntactic structures and variables in a hierarchy. However, state-of-the-art large language models gener…

2022

RepAr-Net: Re-Parameterized Encoders and Attentive Feature Arsenals for Fast Video Denoising

ICRA 2022poster

Real-time video denoising finds applications in several fields like mobile robotics, satellite television, and surveillance systems. Traditional denoising approaches are more common in such systems than their deep learning-based counterparts despite their inferior performance. The large size and hea…

Cited by 4SourcecodeScholar
2022

Symbolic Distillation for Learned TCP Congestion Control

NeurIPS 2022accept

Recent advances in TCP congestion control (CC) have achieved tremendous success with deep reinforcement learning (RL) approaches, which use feedforward neural networks (NN) to learn complex environment conditions and make better decisions. However, such ``black-box'' policies lack interpretability a…