Kaustuv Mukherji
Scholar

Kaustuv Mukherji

Google Scholar ID: 9eYBKw0AAAAJ
CS PhD Student, Syracuse University
Logic ProgrammingReinforcement LearningSymbolic Reasoning
Google Scholar↗
Citations & Impact
All-time
Citations
33
 
H-index
3
 
i10-index
1
 
Publications
8
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
3 items
EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming
2026
Cited
0
From We to Me: Theory Informed Narrative Shift with Abductive Reasoning
arXiv.org · 2026
Cited
1
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
2025
Cited
0
Resume (English only)
Co-authors
7 total
Dyuman Aditya
Dyuman Aditya
Graduate Student, Computer Science
Paulo Shakarian
Paulo Shakarian
K.G. Tan Endowed Professor of Artificial Intelligence, Syracuse University
Devendra Parkar
Devendra Parkar
PhD Student (Computer Science), Arizona State University
Sunil Kumar Kopparapu
Sunil Kumar Kopparapu
Principal Scientist, TCS Research
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Gautam Shroff
Gautam Shroff
Professor of Computer Science and Engineering