RepAr-Net: Re-Parameterized Encoders and Attentive Feature Arsenals for Fast Video Denoising. - S. P. Sharan; Adithya K. Krishna; A. Siddharth Rao; Varun P. Gopi (ICRA, 2022)

Symbolic Distillation for Learned TCP Congestion Control. - S. P. Sharan; Wenqing Zheng; Kuo-Feng Hsu; Jiarong Xing; Ang Chen 001; Zhangyang Wang (NeurIPS, 2022)

Outline, 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 (ICML, 2023)

Paced-curriculum distillation with prediction and label uncertainty for image segmentation. - Mobarakol Islam; Lalithkumar Seenivasan; S. P. Sharan; V. K. Viekash; Bhavesh Gupta; Ben Glocker; Hongliang Ren 001 (Int. J. Comput. Assist. Radiol. Surg., 2023)

LLM-Assist: Enhancing Closed-Loop Planning with Language-Based Reasoning. - S. P. Sharan; Francesco Pittaluga; Vijay Kumar B. G; Manmohan Chandraker (CoRR, 2024)

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification. - S. P. Sharan; Minkyu Choi 001; Sahil Shah; Harsh Goel; Mohammad Omama; Sandeep Chinchali (CVPR, 2025)

A Challenge to Build Neuro-Symbolic Video Agents. - Sahil Shah; Harsh Goel; Sai Shankar Narasimhan; Minkyu Choi 001; S. P. Sharan; Oguzhan Akcin; Sandeep Chinchali (NeuS, 2025)

Symbolic Visual Reinforcement Learning: A Scalable Framework With Object-Level Abstraction and Differentiable Expression Search. - Wenqing Zheng; S. P. Sharan; Zhiwen Fan; Kevin Wang; Yihan Xi; Zhangyang Wang (IEEE Trans. Pattern Anal. Mach. Intell., 2025)

We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback. - Minkyu Choi 001; S. P. Sharan; Harsh Goel; Sahil Shah; Sandeep Chinchali (CoRR, 2025)