Subhajit Roy
7 papers
· 2019–2025
· 3 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
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)