Towards Mechanised Consensus in Isabelle. - Elliot Jones; Diego Marmsoler (FMBC@CAV, 2024)

The Reality of AI and Biorisk. - Aidan Peppin; Anka Reuel; Stephen Casper; Elliot Jones; Andrew Strait; Usman Anwar; Anurag Agrawal; Sayash Kapoor; Sanmi Koyejo; Marie Pellat; Rishi Bommasani; Nick Frosst; et al. (FAccT, 2025)