Jaikrishna Manojkumar Patil

Syracuse University

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Constitutional AI & AI Ethics (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Kaustuv Mukherji (1)J. Patil (1)C. Payne (1)Colton Payne (1)

Papers (1)

Aug 3, 2026

Kaustuv Mukherji +8Aug 3, 2026·also Syracuse

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming

Validating LLM-generated vulnerability paths with domain knowledge boosts entailment accuracy to 98%, transforming the reliability of AI in safety-critical applications.

Kaustuv Mukherji, J. Patil, Jaikrishna Manojkumar Patil +6

Constitutional AI & AI Ethics Reasoning & Chain-of-Thought

Search

Jaikrishna Manojkumar Patil

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)