Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims. - Miles Brundage; Shahar Avin; Jasmine Wang; Haydn Belfield; Gretchen Krueger; Gillian K. Hadfield; Heidy Khlaaf; Jingying Yang; Helen Toner; Ruth Fong; Tegan Maharaj; Pang Wei Koh; et al. (CoRR, 2020)

Towards making formal methods normal: meeting developers where they are. - Alastair Reid 001; Luke Church; Shaked Flur; Sarah de Haas; Maritza Johnson; Ben Laurie (CoRR, 2020)

Cetacean Translation Initiative: a roadmap to deciphering the communication of sperm whales. - Jacob Andreas; Gasper Begus; Michael M. Bronstein; Roee Diamant; Denley Delaney; Shane Gero; Shafi Goldwasser; David F. Gruber; Sarah de Haas; Peter Malkin; Roger Payne; Giovanni Petri; et al. (CoRR, 2021)

Android Private Compute Core Architecture. - Eugenio Marchiori; Sarah de Haas; Sergey Volnov; Ronnie Falcon; Roxanne Pinto; Marco Zamarato (CoRR, 2022)

The Ethics of Advanced AI Assistants. - Iason Gabriel; Arianna Manzini; Geoff Keeling; Lisa Anne Hendricks; Verena Rieser; Hasan Iqbal; Nenad Tomasev; Ira Ktena; Zachary Kenton; Mikel Rodriguez; Seliem El-Sayed; Sasha Brown; et al. (CoRR, 2024)