← Authors

Supratik Chakraborty

7 papers · 2015–2026 · 2 conferences · across top CS/AI conferences

Achievements

πŸ—ΊοΈ 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

Kuldeep S. Meel (5) Moshe Y. Vardi (3) S. Akshay (2) Nakshatra Gupta (1) ĐorΔ‘e Ε½ikeliΔ‡ (1) Sumanth Prabhu S (1) Soroush Farokhnia (1) Harshit Jitendra Motwani (1) Mohimenul Kabir (1) Venkatesh R (1)

Research topics

Probability (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
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