Journal: Nat. Comput. Sci.