S. P. Sharan

18 papers A* 5Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
LE-NeuS: Latency-Efficient Neuro-Symbolic Video Understanding via Adaptive Temporal Verification.
CoRR
Shawn Liang, Sahil Shah, Chengwei Zhou, S. P. Sharan, Harsh Goel, Arnab Sanyal, Sandeep Chinchali, Gourav Datta
2026 A* conf
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning.
AAAI
Sahil Shah, S. P. Sharan, Harsh Goel, Minkyu Choi, Mustafa Munir, Manvik Pasula, Radu Marculescu, Sandeep Chinchali
2025 — conf
A Challenge to Build Neuro-Symbolic Video Agents.
NeuS
Sahil Shah, Harsh Goel, Sai Shankar Narasimhan, Minkyu Choi, S. P. Sharan, Oguzhan Akcin, Sandeep Chinchali
2025 J jnl
A Challenge to Build Neuro-Symbolic Video Agents.
CoRR
Sahil Shah, Harsh Goel, Sai Shankar Narasimhan, Minkyu Choi, S. P. Sharan, Oguzhan Akcin, Sandeep Chinchali
2025 J jnl
NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning.
CoRR
Sahil Shah, S. P. Sharan, Harsh Goel, Minkyu Choi, Mustafa Munir, Manvik Pasula, Radu Marculescu, Sandeep Chinchali
2025 A* conf
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification.
CVPR
S. P. Sharan, Minkyu Choi, Sahil Shah, Harsh Goel, Mohammad Omama, Sandeep Chinchali
2025 J jnl
Symbolic Visual Reinforcement Learning: A Scalable Framework With Object-Level Abstraction and Differentiable Expression Search.
IEEE Trans. Pattern Anal. Mach. Intell.
Wenqing Zheng, S. P. Sharan, Zhiwen Fan, Kevin Wang, Yihan Xi, Zhangyang Wang
2025 J jnl
We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback.
CoRR
Minkyu Choi, S. P. Sharan, Harsh Goel, Sahil Shah, Sandeep Chinchali
2024 J jnl
LLM-Assist: Enhancing Closed-Loop Planning with Language-Based Reasoning.
CoRR
S. P. Sharan, Francesco Pittaluga, Vijay Kumar B. G, Manmohan Chandraker
2024 J jnl
Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification.
CoRR
S. P. Sharan, Minkyu Choi, Sahil Shah, Harsh Goel, Mohammad Omama, Sandeep Chinchali
2023 A* conf
Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation.
ICML
Wenqing Zheng, S. P. Sharan, Ajay Kumar Jaiswal, Kevin Wang, Yihan Xi, Dejia Xu, Zhangyang Wang
2023 J jnl
Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation.
CoRR
Wenqing Zheng, S. P. Sharan, Ajay Kumar Jaiswal, Kevin Wang, Yihan Xi, Dejia Xu, Zhangyang Wang
2023 J jnl
Paced-Curriculum Distillation with Prediction and Label Uncertainty for Image Segmentation.
CoRR
Mobarakol Islam, Lalithkumar Seenivasan, S. P. Sharan, V. K. Viekash, Bhavesh Gupta, Ben Glocker, Hongliang Ren
2023 J jnl
Paced-curriculum distillation with prediction and label uncertainty for image segmentation.
Int. J. Comput. Assist. Radiol. Surg.
Mobarakol Islam, Lalithkumar Seenivasan, S. P. Sharan, V. K. Viekash, Bhavesh Gupta, Ben Glocker, Hongliang Ren
2022 A* conf
RepAr-Net: Re-Parameterized Encoders and Attentive Feature Arsenals for Fast Video Denoising.
ICRA
S. P. Sharan, Adithya K. Krishna, A. Siddharth Rao, Varun P. Gopi
2022 A* conf
Symbolic Distillation for Learned TCP Congestion Control.
NeurIPS
S. P. Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang Chen, Zhangyang Wang
2022 J jnl
Symbolic Distillation for Learned TCP Congestion Control.
CoRR
S. P. Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang Chen, Zhangyang Wang
2022 J jnl
Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search.
CoRR
Wenqing Zheng, S. P. Sharan, Zhiwen Fan, Kevin Wang, Yihan Xi, Zhangyang Wang