Do you still need a manual smart contract audit? - Isaac David; Liyi Zhou; Kaihua Qin; Dawn Song; Lorenzo Cavallaro; Arthur Gervais (CoRR, 2023)

Integrated information theory (IIT) 4.0: Formulating the properties of phenomenal existence in physical terms. - Larissa Albantakis; Leonardo S. Barbosa; Graham Findlay; Matteo Grasso; Andrew M. Haun; William Marshall; William G. P. Mayner; Alireza Zaeemzadeh; Mélanie Boly; Bjørn Erik Juel; Shuntaro Sasai; Keiko Fujii; et al. (PLoS Comput. Biol., 2023)

Dissociating Artificial Intelligence from Artificial Consciousness. - Graham Findlay; William Marshall; Larissa Albantakis; Isaac David; William G. P. Mayner; Christof Koch; Giulio Tononi (CoRR, 2024)

AuthorMist: Evading AI Text Detectors with Reinforcement Learning. - Isaac David; Arthur Gervais (CoRR, 2025)

Decompiling Smart Contracts with a Large Language Model. - Isaac David; Liyi Zhou; Dawn Song; Arthur Gervais; Kaihua Qin (CoRR, 2025)