Uddalok Sarkar
Scholar

Uddalok Sarkar

Google Scholar ID: ATFQxZoAAAAJ
Indian Statistical Institute
Property TestingFormal MethodsAI
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
116
 
H-index
5
 
i10-index
4
 
Publications
18
 
Co-authors
11
list available
Contact
Emailuddaloksarkar@gmail.comCVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
3 items
Instance Dependent Testing of Samplers using Interval Conditioning
2025
Cited
0
Efficient Volume Computation for SMT Formulas
2025
Cited
0
Zero-Shot Attribution for Large Language Models: A Distribution Testing Approach
2025
Cited
0
Resume
Academic Achievements
  • Recipient of Google PhD Fellowship (2023–2027)
  • Published papers including:
  • - [KR 2025] 'Efficient Volume Computation for SMT Formulas'
  • - [CAV 2025] 'Assessing the Quality of Binomial Samplers: A Statistical Distance Framework'
  • - [AAAI 2024] 'Testing Self Reducible Samplers'
  • - [AISTATS 2023] 'Testing of Horn Sampler'
  • - Multiple under-review works on LLM attribution and approximate DNF counting
  • Master’s thesis titled 'Testing of Horn Sampler'
Co-authors
5 total
Sayan Nag
Sayan Nag
Research Scientist, Adobe Research
Sourav Chakraborty
Sourav Chakraborty
Indian Statistical Institute, Kolkata
Kuldeep S. Meel
Kuldeep S. Meel
Associate Professor, University of Toronto
Sayantan Sen
Sayantan Sen
Centre for Quantum Technologies, National University of Singapore
Yash Pote
Yash Pote
National University of Singapore