Supratik Chakraborty
7 papers · 2015–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (14) 🚀 Conference Pioneer
📈
Trend Setter
Top co-authors
Research topics
Mathematics & Optimization
(4)
Optimization
(4)
Artificial Intelligence
(3)
Computer Science
(2)
Machine Learning
(2)
Bayesian & Probabilistic · Artificial Intelligence
(2)
Foundations
(2)
Optimization & Theory
(2)
Knowledge & Reasoning
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Core AI
(1)
Mathematics
(1)
Probability
(1)
Reasoning
(1)
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
Auditable Algorithms for Approximate Model Counting
AAAI 2024
Exact ASP Counting with Compact Encodings
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