Publications

Symbolic Encoding of LL(1) Parsing and Its Applications

Published in Formal Methods in System Design, 2023

Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy


RAPID: Rapid and Precise Interpretable Decision Sets

Published in 2019 IEEE International Conference on Big Data, 2019

Sunny Dhamnani, Dhruv Singal, Ritwik Sinha, M Tharun, Manish Dash


Parse Condition: Symbolic Encoding of LL(1) Parsing

Published in 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2018

Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy


Forecasting Granular Audience Size for Online Advertising

Published in 2018 AdKDD & TargetAd in conjunction with The 24th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2018

Ritwik Sinha, Dhruv Singal, Pranav Maneriker, Kushal Chawla, Yash Shrivastava, Deepak Pai, Atanu Ranjan Sinha


Show and Recall: Learning What Makes Videos Memorable

Published in The IEEE International Conference on Computer Vision Workshops (ICCVW), 2017

Sumit Shekhar, Dhruv Singal, Harvineet Singh, Manav Kedia, Akhil Shetty