S P Sharan

2
Papers
6
Total Citations

Papers (2)

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

CVPR 2025
6
citations

Symbolic Distillation for Learned TCP Congestion Control

NeurIPS 2022arXiv
0
citations