4 papers
Macroscopic Stability of a Rapidly Rotating Theta Pinch
Richard Fitzpatrick
The macroscopic ideal-MHD stability of an axisymmetric mirror device with sonic levels of plasma rotation is analyzed by approximating the plasma equilibrium as a rotating theta pi…
Deontically Constrained Policy Improvement in Reinforcement Learning Agents
Alena Makarova, Houssam Abbas
Markov Decision Processes (MDPs) are the most common model for decision making under uncertainty in the Machine Learning community. An MDP captures non-determinism, probabilistic u…
Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
Charles Koll, Preston Tan Hang, Mike Rosulek +1
In distributed Cyber-Physical Systems and Internet-of-Things applications, the nodes of the system send measurements to a monitor that checks whether these measurements satisfy giv…
Defending Large Language Models Against Attacks With Residual Stream Activation Analysis
Amelia Kawasaki, Andrew Davis, Houssam Abbas
The widespread adoption of Large Language Models (LLMs), exemplified by OpenAI's ChatGPT, brings to the forefront the imperative to defend against adversarial threats on these mode…