22 citations · 22 across the 2 of their papers we have counts for
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-…
nlin.AO2016★ 22 cited
A negative group delay model for feedback-delayed manual tracking
Henning U. Voss, Nigel Stepp
We propose that feedback-delayed manual tracking performance is limited by fundamental constraints imposed by the physics of negative group delay. To test this hypothesis, the resu…