14 papers
InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
Michael Chesser, Paul Quirk, Douglas Cooke +3
Processor specifications underpin critical security and program- analysis tools such as disassemblers, decompilers, and emulators, yet, their correctness is rarely examined. Errors…
Reasoning Errors Have a Region and a Direction in the Residual-Stream Trajectory of LLMs
Hamed Damirchi, Ignacio Meza De la Jara, Damith Ranasinghe +2
As language models are increasingly used for tasks that require verifiable reasoning, reliably distinguishing sound reasoning from flawed reasoning has become an important practica…
Level, Sharpness, and Corpus: Why Zero-Shot OOD Detector Rankings Do Not Transfer
Ignacio M. De la Jara, Cristian Rodriguez-Opazo, Stephen Gould +1
The paper shows that zero-shot out-of-distribution detector rankings do not reliably transfer across vision-language model deployments and proposes a detector-agnostic wrapper, the…
Representation Trajectories Matters: Complementary Evidence for OOD Detection and Image Classification
Ignacio M. De la Jara, Cristian Rodriguez-Opazo, Hamed Damirchi +2
The paper investigates how the step‑by‑step changes in a vision model’s internal representations (representation trajectories) can be used to improve out‑of‑distribution detection…
Feature-Space Bayesian Adversarial Learning Improved Malware Detector Robustness
Bao Gia Doan, Shuiqiao Yang, Paul Montague +6
We present a new algorithm to train a robust malware detector. Modern malware detectors rely on machine learning algorithms. Now, the adversarial objective is to devise alterations…
Joint Estimation of Sea State and Vessel Parameters Using a Mass-Spring-Damper Equivalence Model
Ranjeet K. Tiwari, Daniel Sgarioto, Peter Graham +3
Real-time sea state estimation is vital for applications like shipbuilding and maritime safety. Traditional methods rely on accurate wave-vessel transfer functions to estimate wave…