2 papers
cs.CR2026
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-…
cs.LG2026
Machine Learning Model Integration with Open World Temporal Logic for Process Automation
Dyuman Aditya, Colton Payne, Mario Leiva +1
Recent advances in Machine Learning (ML) have produced models that extract structured information from complex data. However, a significant challenge lies in translating these perc…