Leveraging knowledge graphs to update scientific word embeddings using latent semantic imputation. - Jason Hoelscher-Obermaier; Edward Stevinson; Valentin Stauber; Ivaylo Zhelev; Viktor Botev; Ronin Wu; Jeremy Minton (CoRR, 2022)

Reducing Return Volatility in Neural Network-Based Asset Allocation via Formal Verification and Certified Training. - Edward Stevinson; Alessio Lomuscio (ICAIF, 2024)

A Scalable Approach to Probabilistic Neuro-Symbolic Verification. - Vasileios Manginas; Nikolaos Manginas; Edward Stevinson; Sherwin Varghese; Nikos Katzouris; Georgios Paliouras; Alessio Lomuscio (CoRR, 2025)

Prisma: An Open Source Toolkit for Mechanistic Interpretability in Vision and Video. - Sonia Joseph; Praneet Suresh; Lorenz Hufe; Edward Stevinson; Robert Graham; Yash Vadi; Danilo Bzdok; Sebastian Lapuschkin; Lee Sharkey; Blake Aaron Richards (CoRR, 2025)

ContextBench: Modifying Contexts for Targeted Latent Activation. - Robert Graham; Edward Stevinson; Leo Richter; Alexander Chia; Joseph Miller; Joseph Isaac Bloom (CoRR, 2025)