5 papers
EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming
Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Colton Payne +4
Large language models are increasingly used to reason about software vulnerabilities, but their outputs can silently violate domain knowledge, limiting their reliability in safety-…
From We to Me: Theory Informed Narrative Shift with Abductive Reasoning
Jaikrishna Manojkumar Patil, Divyagna Bavikadi, Kaustuv Mukherji +5
Effective communication often relies on aligning a message with an audience's narrative and worldview. Narrative shift involves transforming text to reflect a different narrative f…
Reasoning about Medical Triage Optimization with Logic Programming
Jaikrishna Manojkumar Patil, Adam Chapman, Richard Knuszka +2
We present a logic programming framework that orchestrates multiple variants of an optimization problem and reasons about their results to support high-stakes medical decision-maki…
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Dyuman Aditya +5
We introduce Lattice Annotated Temporal (LAT) Logic, an extension of Generalized Annotated Logic Programs (GAPs) that incorporates temporal reasoning and supports open-world semant…
Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
Jaikrishna Manojkumar Patil, Nathaniel Lee, Al Mehdi Saadat Chowdhury +2
Rule-based methods for knowledge graph completion provide explainable results, but often require tens of thousands of rules to achieve competitive performance. Although individual…