Supratik Chakraborty
7 papers · 2015–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (14) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (10)
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(5)
π
Trend Setter
π
Conference Pioneer
Conferences
AAAI (4)
IJCAI (3)
Top co-authors
Research topics
Keywords
model counting
(3)
complexity theory
(2)
probabilistic inference
(2)
knowledge representation
(1)
automated reasoning
(1)
linear programming
(1)
approximate counting
(1)
oracle complexity
(1)
answer set programming
(1)
bayesian network
(1)
linear classifier
(1)
approximation algorithm
(1)
sat solver
(1)
weighted model integration
(1)
propositional satisfiability
(1)
semi-algebraic function
(1)
real algebraic geometry
(1)
computational hardness
(1)
approximate algorithm
(1)
targeted attack
(1)
Papers
On Robustness of Linear Classifiers to Targeted Data Poisoning
AAAI 2026
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
IJCAI 2025
Exact ASP Counting with Compact Encodings
AAAI 2024
Auditable Algorithms for Approximate Model Counting
AAAI 2024
On the Hardness of Probabilistic Inference Relaxations
AAAI 2019
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls
IJCAI 2016
From Weighted to Unweighted Model Counting
IJCAI 2015