Kaustuv Mukherji

1. PyReason: Software for Open World Temporal Logic
   2023/02/27 by Dyuman Aditya, Kaustuv Mukherji, Aditya, Dyuman +7 · 4 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies
2. EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming
   2026/08/03 by Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Colton Payne +4
   Computer Science · #cs.CR #cs.AI #cs.LO #cs.SE