Subhajit Roy
7 papers · 2019–2025 · 3 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 ↓
π
Conference Polyglot Β· Bronze
π
Academic Marathon Β· Sprint
π
Interdisciplinary Bridge Β· Bronze
πΊοΈ
Taxonomy Completionist
(18)
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Machine Learning
(4)
Artificial Intelligence
(3)
Mathematics & Optimization
(3)
Core AI
(3)
Optimization & Theory
(3)
Optimization
(2)
Computer Science
(1)
Knowledge & Reasoning
(1)
Natural Language Processing
(1)
Applications
(1)
Core Methods
(1)
Foundations
(1)
Learning Types
(1)
Probability
(1)
Reasoning
(1)
Keywords
spectrum-based fault localization
(2)
fault localization
(2)
model counting
(2)
software debugging
(2)
formal verification
(1)
probabilistic programming
(1)
multilingual nlp
(1)
invariant learning
(1)
program synthesis
(1)
mathematical problem solving
(1)
chain-of-thought prompting
(1)
probabilistic program
(1)
conflict-driven clause learning
(1)
clause learning
(1)
loop invariant
(1)
universal hashing
(1)
weakest pre-expectation
(1)
invariant synthesis
(1)
piecewise continuous function
(1)
symmetry exploitation
(1)
Papers
Studying the capabilities of Large Language Models in solving Combinatorics Problems posed in Hindi
COLING 2025
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
IJCAI 2023
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)
IJCAI 2023
Program Synthesis as Dependency Quantified Formula Modulo Theory
IJCAI 2021
Symmetric Component Caching for Model Counting on Combinatorial Instances
AAAI 2021
Diagnosing Software Faults Using Multiverse Analysis
IJCAI 2020
GANAK: A Scalable Probabilistic Exact Model Counter
IJCAI 2019