Skip to content

S. P. Sharan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

4

Active years

2022–2026

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAINeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning.Sahil Shah, S. P. Sharan, Harsh Goel, Minkyu Choi, Mustafa Munir, Manvik Pasula, Radu Marculescu, Sandeep Chinchali
2025CVPRNeuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification.S. P. Sharan, Minkyu Choi, Sahil Shah, Harsh Goel, Mohammad Omama, Sandeep Chinchali
2023ICMLOutline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation.Wenqing Zheng, S. P. Sharan, Ajay Kumar Jaiswal, Kevin Wang, Yihan Xi, Dejia Xu, Zhangyang Wang
2022ICRARepAr-Net: Re-Parameterized Encoders and Attentive Feature Arsenals for Fast Video Denoising.S. P. Sharan, Adithya K. Krishna, A. Siddharth Rao, Varun P. Gopi