Subhajit Roy
7 papers · 2019–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (18) π Conference Polyglot (3) π Academic Marathon (6) π Cross-Pollinator (3) π Renaissance Researcher (6)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Trend Setter
Conferences
IJCAI (5)
AAAI (1)
COLING (1)
Top co-authors
Research topics
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
Symmetric Component Caching for Model Counting on Combinatorial Instances
AAAI 2021
Program Synthesis as Dependency Quantified Formula Modulo Theory
IJCAI 2021
Diagnosing Software Faults Using Multiverse Analysis
IJCAI 2020
GANAK: A Scalable Probabilistic Exact Model Counter
IJCAI 2019