papers
Publications (2)
nlin.AO2016
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…
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-…