Sharan, S P

3 publications

CVPR 2025 Neuro-Symbolic Evaluation of Text-to-Video Models Using Formal Verification S P Sharan, Minkyu Choi, Sahil Shah, Harsh Goel, Mohammad Omama, Sandeep Chinchali

ICML 2023 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

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