Elliot Jones

According to our database, Elliot Jones authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Stablecoins as Dry Powder: A Copula-Based Risk Analysis of Cryptocurrency Markets.

Elliot Jones, Toshiko Matsui, William Knottenbelt

CoRR, March, 2026

2025

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, Sara Hooker

Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, 2025

Towards Automating Blockchain Consensus Verification with IsabeLLM.

Elliot Jones, William Knottenbelt

Proceedings of the Blockchain Technology and Emerging Applications, 2025

2024

Towards Mechanised Consensus in Isabelle.

Elliot Jones, Diego Marmsoler

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024