vix.ing · top · new · best · stats · spec

Jaikrishna Manojkumar Patil

  1. 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