Supratik Chakraborty
Scholar

Supratik Chakraborty

Google Scholar ID: LwG4hd8AAAAJ
Dept. of Computer Science and Engineering, IIT Bombay
Formal methodsconstrained sampling and countingautomated synthesislogic and automata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,655
 
H-index
27
 
i10-index
54
 
Publications
20
 
Co-authors
44
list available
Contact
No contact links provided.
Publications
8 items
Latent Performance Profiling of Large Language Models
2026
Cited
0
Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
2026
Cited
0
Knowledge Compilation for Quantification in Alternating Automata
2026
Cited
0
On-the-fly LTLf Synthesis under Partial Observability
2026
Cited
0
On Robustness of Linear Classifiers to Targeted Data Poisoning
2025
Cited
0
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
2025
Cited
0
Presburger Functional Synthesis: Complexity and Tractable Normal Forms
2025
Cited
0
Counting Answer Sets of Disjunctive Answer Set Programs
2025
Cited
0
Resume (English only)
Co-authors
44 total
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Kuldeep S. Meel
Kuldeep S. Meel
Associate Professor, University of Toronto
S Akshay
S Akshay
IIT Bombay
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
David L. Dill
David L. Dill
Professor, Emeritus, of Computer Science, Stanford University
Dror Fried
Dror Fried
The Open University of Israel
Aditya Nori
Aditya Nori
Microsoft Research
Daniel J. Fremont
Daniel J. Fremont
Assistant Professor, University of California, Santa Cruz