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…
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…
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…